git.iko.soy/typeable/cabal2nix
on master help sign in
Update PostProcess.hs

add `z3` to the buildTools for liquid-fixpoint and liquidhaskell so we can run the tests. NB: `z3` takes a while to build (and liquidhaskell has a large testsuite too). Should we mention this somewhere so people can be aware and possibly choose to disable tests locally?

commit4967cd0fd592b2f262aaaa1dfcf6bfa5f6823c52 authorEric Seidel <github@eric.seidel.io> dateThu 21 May 2015, 17:37 (11 years ago) parent198c7c0
1 file changed+2−2
compare with master
unifiedsplit
src/Cabal2Nix/PostProcess.hs+2−2
src/Cabal2Nix/PostProcess.hs+2−2
@@ -71,8 +71,8 @@ postProcess' deriv@(MkDerivation {..})
7171 | pname == "language-java" = deriv { buildDepends = Set.insert "syb" buildDepends }
7272 | pname == "lhs2tex" = deriv { extraLibs = Set.insert "texLive" extraLibs, phaseOverrides = lhs2texPostInstall }
7373 | pname == "libffi" = deriv { extraLibs = Set.delete "ffi" extraLibs }
74− | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "ocaml" buildTools, configureFlags = Set.insert "-fbuild-external" configureFlags }
75− | pname == "liquidhaskell" = deriv { doCheck = False } -- test-suite requires cvc4 or z3
74+ | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "z3" (Set.insert "ocaml" buildTools), configureFlags = Set.insert "-fbuild-external" configureFlags }
75+ | pname == "liquidhaskell" = deriv { buildTools = Set.insert "z3" buildTools }
7676 | pname == "llvm-base" = deriv { extraLibs = Set.insert "llvm" extraLibs }
7777 | pname == "llvm-general" = deriv { doCheck = False }
7878 | pname == "llvm-general-pure"= deriv { doCheck = False }