| 14 Aug 2025 |
 Artem | the docs proceed to say that "old-style-builds" (which is what you get with the library, so this includes the Nixpkgs Haskell builder) can't handle external deps in BTD, but internal ones should be OK, which is not what we're seeing | 01:15:38 |
| Artem | the PATH trick looks straightforward in the examples I see but it's not working so far with the old result ("fixpoint not found"). I'm investigating it | 01:29:36 |
| Artem | in particular, that's what I have:
liquid-fixpoint = overrideCabal (drv: {
preCheck = ''
export PATH=dist/build/fixpoint:$PATH
''
+ (drv.preCheck or "");
}) super.liquid-fixpoint;
if I add dist/build/fixpoint/fixpoint --help, I see the help messge from the tool. Yet, the tests fail with /bin/sh: fixpoint: not found. It looks like that PATH doesn't make it all the way through...
| 01:36:26 |
 chreekat | Would using an absolute path help? | 06:27:37 |
 sterni (he/him) | I think it is necessary since the test suite changes directory sometimes: https://github.com/ucsd-progsys/liquid-fixpoint/blob/0171863c853a6076238d2697388f4ad6f2ee43b2/tests/test.hs#L181-L199 | 10:33:42 |
| sterni (he/him) | export PATH="$PWD/dist/build/fixpoint:$PATH" or similar should work | 10:34:13 |
|  Ember Void joined the room. | 11:41:24 |
 Manuel Bärenz | Redacted or Malformed Event | 12:03:39 |
| Artem | oh my, I should have guessed. Thanks all, liquid-fixpoint works now. I'm looking into liquidhaskell now. It currently fails because it fetches the latest version from Hackage (it's not on Stackage), and it's not going to work with GHC from the latest LTS because: (a) it's tightly coupled with the GHC version so much so they usually only support one GHC version at a time, (b) the latest from Hackage will usually support only the latest released GHC.
Question: how do I request a specific version of a package from Hackage to serve as the default haskellPackages version? | 15:09:03 |
