git.iko.soy/typeable/cabal2nix
on master help sign in
Merge pull request #168 from gridaphobe/patch-1

add `z3` to the buildTools for liquid-fixpoint and liquidhaskell so we can run the tests

commitb3d60d335472170b092f0e2b3be68774b0f8ecd9 authorPeter Simons <simons@cryp.to> dateFri 22 May 2015, 13:36 (11 years ago) parentc05e1024967cd0
1 file changed+2−2
compare with master
unifiedsplit
src/Cabal2Nix/PostProcess.hs+2−2
src/Cabal2Nix/PostProcess.hs+2−2
@@ -70,8 +70,8 @@ postProcess' deriv@(MkDerivation {..})
7070 | pname == "language-java" = deriv { buildDepends = Set.insert "syb" buildDepends }
7171 | pname == "lhs2tex" = deriv { extraLibs = Set.insert "texLive" extraLibs, phaseOverrides = lhs2texPostInstall }
7272 | pname == "libffi" = deriv { extraLibs = Set.delete "ffi" extraLibs }
73− | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "ocaml" buildTools, configureFlags = Set.insert "-fbuild-external" configureFlags }
74− | pname == "liquidhaskell" = deriv { doCheck = False } -- test-suite requires cvc4 or z3
73+ | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "z3" (Set.insert "ocaml" buildTools), configureFlags = Set.insert "-fbuild-external" configureFlags }
74+ | pname == "liquidhaskell" = deriv { buildTools = Set.insert "z3" buildTools }
7575 | pname == "llvm-base" = deriv { extraLibs = Set.insert "llvm" extraLibs }
7676 | pname == "llvm-general" = deriv { doCheck = False }
7777 | pname == "llvm-general-pure"= deriv { doCheck = False }