git.iko.soy/typeable/cabal2nix
on master help sign in
update post-processing for liquid-fixpoint and liquidhaskell.

liquid-fixpoint needs the -fbuild-external flag to force building the ocaml binary locally instead of using a precompiled binary (not guaranteed to work in nixos AFAIK)

commitb43d29e15fa07bbdd091d82c423be0bf9fb39dd3 authorEric Seidel <gridaphobe@gmail.com> dateWed 4 Feb 2015, 16:02 (12 years ago) parente9e9bfd
1 file changed+2−1
compare with master
unifiedsplit
src/Cabal2Nix/PostProcess.hs+2−1
src/Cabal2Nix/PostProcess.hs+2−1
@@ -72,7 +72,8 @@ postProcess' deriv@(MkDerivation {..})
7272 | pname == "leksah-server" = deriv { buildDepends = Set.insert "process-leksah" buildDepends }
7373 | pname == "lhs2tex" = deriv { extraLibs = Set.insert "texLive" extraLibs, phaseOverrides = lhs2texPostInstall }
7474 | pname == "libffi" = deriv { extraLibs = Set.delete "ffi" extraLibs }
75− | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "ocaml" buildTools }
75+ | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "ocaml" buildTools, configureFlags = Set.insert "-fbuild-external" configureFlags }
76+ | pname == "liquidhaskell" = deriv { doCheck = False } -- test-suite requires cvc4 or z3
7677 | pname == "llvm-base" = deriv { extraLibs = Set.insert "llvm" extraLibs }
7778 | pname == "llvm-general" = deriv { doCheck = False }
7879 | pname == "llvm-general-pure"= deriv { doCheck = False }