@@ -72,7 +72,8 @@ postProcess' deriv@(MkDerivation {..})
72 | pname == "leksah-server" = deriv { buildDepends = Set.insert "process-leksah" buildDepends }
72 | pname == "leksah-server" = deriv { buildDepends = Set.insert "process-leksah" buildDepends }
73 | pname == "lhs2tex" = deriv { extraLibs = Set.insert "texLive" extraLibs, phaseOverrides = lhs2texPostInstall }
73 | pname == "lhs2tex" = deriv { extraLibs = Set.insert "texLive" extraLibs, phaseOverrides = lhs2texPostInstall }
74 | pname == "libffi" = deriv { extraLibs = Set.delete "ffi" extraLibs }
74 | 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
76 | pname == "llvm-base" = deriv { extraLibs = Set.insert "llvm" extraLibs }
77 | pname == "llvm-base" = deriv { extraLibs = Set.insert "llvm" extraLibs }
77 | pname == "llvm-general" = deriv { doCheck = False }
78 | pname == "llvm-general" = deriv { doCheck = False }
78 | pname == "llvm-general-pure"= deriv { doCheck = False }
79 | pname == "llvm-general-pure"= deriv { doCheck = False }