git.iko.soy/typeable/cabal2nix
on master help sign in
Merge pull request #143 from gridaphobe/master

update post-processing for liquid-fixpoint and liquidhaskell

commite79870a3001aeeee51fa7194bac260468d0e3f41 authorPeter Simons <simons@cryp.to> dateThu 5 Feb 2015, 11:03 (12 years ago) parente9e9bfdb43d29e
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 }