!RbXGJhHMsnQcNIDFWN:nixos.org

Haskell in Nixpkgs/NixOS

756 Members
For discussions and questions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/ | More Nix: #community:nixos.org | More Haskell: #haskell-space:matrix.org151 Servers

You have reached the beginning of time (for this room).


SenderMessageTime
13 Aug 2025
@artem.types:matrix.orgArtem

That's the liquid-fixpoint package, its "test" test suite appears to call to the "fixpoint" executable from the same package but nix-build arrives at:

...
Running phase: checkPhase
Running 2 test suites...
Test suite test: RUNNING...
/bin/sh: fixpoint: not found
19:21:05
@sternenseemann:systemli.orgsterni (he/him) Artem: you need to add the build directory to PATH before execution since Cabal won't do it for you unfortunately 19:58:37
@sternenseemann:systemli.orgsterni (he/him)there should probably be a shorthand for it, but you can just grep configuration-nix.nix for PATH to see how to do it19:58:59
@sternenseemann:systemli.orgsterni (he/him) emily: Alyssa Ross: See https://nixos.org/manual/nixpkgs/unstable/#haskell-derivation-deps for input specificication in haskellPackages. Everything is eventually mapped to buildInputs, propagatedBuildInputs and nativeBuildInputs. Using checkInputs and friends is not necessary since that is basically a shorthand for adding lib.optionals doCheck [ … ] to buildInputs/nativeBuildInputs and we have to conditionalize loads on doCheck anyways. 20:02:03
@sternenseemann:systemli.orgsterni (he/him)in the nix build?20:04:55
@artem.types:matrix.orgArtem
In reply to @sternenseemann:systemli.org
in the nix build?
Yes
20:23:05
@sternenseemann:systemli.orgsterni (he/him)which package?20:23:45
@sternenseemann:systemli.orgsterni (he/him)* which package/version?20:23:49

Show newer messages


Back to Room ListRoom Version: 6