!RbXGJhHMsnQcNIDFWN:nixos.org

Haskell in Nixpkgs/NixOS

713 Members
For discussions and questions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/141 Servers

Load older messages


SenderMessageTime
4 Feb 2025
@axman6:matrix.orgAxman6 .hostPlatform is mostly just info about the host platform, I can't see packages in there (not that I've looked hard) 08:11:32
@magic_rb:matrix.redalder.orgmagic_rbAh then hostPackages?08:11:43
@magic_rb:matrix.redalder.orgmagic_rbDunno08:11:46
@axman6:matrix.orgAxman6 there's .gcc but I'd expect that 08:11:48
@axman6:matrix.orgAxman6doesn't exist08:11:52
@magic_rb:matrix.redalder.orgmagic_rbAh08:11:55
@magic_rb:matrix.redalder.orgmagic_rbhttps://codeberg.org/magic_rb/percept-web/src/branch/master/flake.nix#L2308:12:39
@magic_rb:matrix.redalder.orgmagic_rbAh sorry this id where i found it08:12:47
@axman6:matrix.orgAxman6I did also come across: https://gitlab.haskell.org/haskell-wasm/ghc-wasm-meta08:13:04
@magic_rb:matrix.redalder.orgmagic_rbAh it downloads binary releases and them nixifies them08:14:37
@magic_rb:matrix.redalder.orgmagic_rbhttps://gitlab.haskell.org/haskell-wasm/ghc-wasm-meta/-/blob/master/autogen.json?ref_type=heads08:14:42
@alex:tunstall.xyzAlex
In reply to @axman6:matrix.org
so pkgsCross.wasi32.hostPackages.ghc121 or something?
For compilers, you probably want buildPackages, not hostPackages.
08:47:48
@alex:tunstall.xyzAlex

Summary:

  • pkgsCross.aarch64-multiplatform.ghc - GHC built on current platform, runs on aarch64, targets aarch64
  • pkgsCross.aarch64-multiplatform.buildPackages.ghc - GHC built on current platform, runs on current platform, targets aarch64
08:54:18
@alexfmpe:matrix.orgalexfmpedon't think there's much in the way of ghc wasi support though? https://github.com/NixOS/nixpkgs/pull/225000#issuecomment-162268313408:59:24
@alexfmpe:matrix.orgalexfmpe pkgsCross.ghcjs.haskell.packages.ghc912.hello is in good shape though 09:00:22
@sternenseemann:systemli.orgsterni (he/him)Yes, we don't support the GHC wasm backend since it is basically a parallel world, requiring its own forks of LLVM and wasi-sdk which we would like to avoid maintaining13:35:19
@sternenseemann:systemli.orgsterni (he/him)especially LLVM is a problem since we have non trivial patches ourselves and IIRC the wasm ghc ones apply cleanly on top13:35:57
@sternenseemann:systemli.orgsterni (he/him)Eventually, we'll probably have to bite the bullet, though, I did not get the impression that this situation will improve any time soon13:36:38
@mangoiv.:matrix.orgMangoIV
In reply to @sternenseemann:systemli.org
Eventually, we'll probably have to bite the bullet, though, I did not get the impression that this situation will improve any time soon
It could live in nix-Community instead of nixpkgs perhaps? I have started doing this at some point but only got as far as building the compiler
16:37:27
@mangoiv.:matrix.orgMangoIV
In reply to @sternenseemann:systemli.org
Eventually, we'll probably have to bite the bullet, though, I did not get the impression that this situation will improve any time soon
* It could live in nix-community instead of nixpkgs perhaps? I have started doing this at some point but only got as far as building the compiler
19:11:59
@serodrsm:matrix.org@serodrsm:matrix.org joined the room.23:22:49
@serodrsm:matrix.org@serodrsm:matrix.orgHallo23:22:58
@serodrsm:matrix.org@serodrsm:matrix.org left the room.23:33:28
@maralorn:maralorn.demaralornHuh23:38:55
@maralorn:maralorn.demaralornI just today learned about: https://nohello.net/en/23:39:14
@sternenseemann:systemli.orgsterni (he/him) MangoIV: yes I was also thinking about having an overlay, I have been talking to dmjio (who started working on such an overlay) about that. I was meaning to look at the code they came up with when I have some time again 23:40:09
@collinarnett:matrix.orgCollin Arnett
In reply to @maralorn:maralorn.de
I just today learned about: https://nohello.net/en/
Yeah really like that one.
23:40:55
@collinarnett:matrix.orgCollin ArnettWish I could use it at work23:41:06
5 Feb 2025
@axman6:matrix.orgAxman6is there also a dontasktoaskjustask.net? Rule #1 of IRC01:25:15
@bdesham:matrix.orgbdesham joined the room.01:29:30

Show newer messages


Back to Room ListRoom Version: 6