| 4 Feb 2025 |
Axman6 | .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 | Ah then hostPackages? | 08:11:43 |
magic_rb | Dunno | 08:11:46 |
Axman6 | there's .gcc but I'd expect that | 08:11:48 |
Axman6 | doesn't exist | 08:11:52 |
magic_rb | Ah | 08:11:55 |
magic_rb | https://codeberg.org/magic_rb/percept-web/src/branch/master/flake.nix#L23 | 08:12:39 |
magic_rb | Ah sorry this id where i found it | 08:12:47 |
Axman6 | I did also come across: https://gitlab.haskell.org/haskell-wasm/ghc-wasm-meta | 08:13:04 |
magic_rb | Ah it downloads binary releases and them nixifies them | 08:14:37 |
magic_rb | https://gitlab.haskell.org/haskell-wasm/ghc-wasm-meta/-/blob/master/autogen.json?ref_type=heads | 08:14:42 |
Alex | 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 | 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 | don't think there's much in the way of ghc wasi support though? https://github.com/NixOS/nixpkgs/pull/225000#issuecomment-1622683134 | 08:59:24 |
alexfmpe | pkgsCross.ghcjs.haskell.packages.ghc912.hello is in good shape though | 09:00:22 |
sterni (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 maintaining | 13:35:19 |
sterni (he/him) | especially LLVM is a problem since we have non trivial patches ourselves and IIRC the wasm ghc ones apply cleanly on top | 13:35:57 |
sterni (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 soon | 13:36:38 |
MangoIV | 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 | 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 joined the room. | 23:22:49 |
@serodrsm:matrix.org | Hallo | 23:22:58 |
| @serodrsm:matrix.org left the room. | 23:33:28 |
maralorn | Huh | 23:38:55 |
maralorn | I just today learned about: https://nohello.net/en/ | 23:39:14 |
sterni (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 |
Collin Arnett | In reply to @maralorn:maralorn.de I just today learned about: https://nohello.net/en/ Yeah really like that one. | 23:40:55 |
Collin Arnett | Wish I could use it at work | 23:41:06 |
| 5 Feb 2025 |
Axman6 | is there also a dontasktoaskjustask.net? Rule #1 of IRC | 01:25:15 |
| bdesham joined the room. | 01:29:30 |