| 30 Sep 2025 |
MangoIV | :P | 16:00:32 |
MangoIV | HLS 2.12 will probably be easier right | 16:00:39 |
maralorn | Okay | 16:00:39 |
maralorn | Yes | 16:00:49 |
maralorn | Most hls updates need next to no intervention actually, now that I think about it. The annoying thing is mainly to keep HLS building while upgrading stackage because that breaks the aforementioned manually fixed build plans. | 16:02:30 |
MangoIV | Why do you not distribute HLS bindists btw? | 16:04:42 |
MangoIV | Wouldn’t that be much easier | 16:04:48 |
MangoIV | I am already careful to split the package set for tooling from the one for development anyway | 16:06:20 |
MangoIV | There’s no reason for me to share them | 16:06:27 |
MangoIV | Nobody actually uses hls as a library | 16:06:37 |
MangoIV | I guess it’s a fun exercise to package it but it seems like so much work to do it for 500 compilers-pckset permutations a year | 16:07:19 |
maralorn | I don’t think there is a viable bindist. | 16:07:46 |
MangoIV | Aha makes sense. | 16:07:58 |
MangoIV | What does Ghcup do | 16:08:01 |
maralorn | It does not work on nixos. | 16:08:12 |
MangoIV | Fwiw even a FOD would be good | 16:08:30 |
MangoIV | I do know that. I wonder where they get their binary from. | 16:08:46 |
maralorn | But roughly: There is a bindist of hls for every bindist of ghc. | 16:08:51 |
maralorn | hls ci builds them. | 16:09:00 |
MangoIV | I see. | 16:09:14 |
MangoIV | (Fwiw same applies for GHC bindist) | 16:09:50 |
MangoIV | A FOD would be good | 16:10:04 |
maralorn | I mean, we somehow use ghc bindists in nixpkgs, right?^^ | 16:10:38 |
maralorn | I don’t even know what our derivations for that do differently from ghcup. 😄 | 16:10:55 |
maralorn | A fod of what? | 16:11:12 |
teo (they/he) | I was just reading the binary GHC bindist code. There's a bit of complexity there, but it's mostly just using patchelf to provide the C deps | 16:12:36 |
teo (they/he) | The Haskell libs come from relative paths and that apparently complicates the patchelf stuff somehow | 16:13:43 |
MangoIV | HLS. Just let cabal solve it, maybe use something like francescos thing | 16:14:06 |
MangoIV | Basically excempt the annoying things from the package set and just let cabal solve for them and install the static binary | 16:15:41 |
MangoIV | Then you build one per GHC and that’s it. | 16:15:57 |