git.iko.soy/typeable/cabal2nix
on master help sign in
Add 'ocaml' build tool to the liquid-fixpoint package.
4b0e6d7Peter Simons
src/Cabal2Nix/PostProcess.hs+1
compare with master
unifiedsplit
@@ -71,6 +71,7 @@ postProcess deriv@(MkDerivation {..})
71 | pname == "leksah-server" = deriv { buildDepends = "process-leksah":buildDepends }
71 | pname == "leksah-server" = deriv { buildDepends = "process-leksah":buildDepends }
72 | pname == "lhs2tex" = deriv { extraLibs = "texLive":extraLibs, phaseOverrides = lhs2texPostInstall }
72 | pname == "lhs2tex" = deriv { extraLibs = "texLive":extraLibs, phaseOverrides = lhs2texPostInstall }
73 | pname == "libffi" = deriv { extraLibs = delete "ffi" extraLibs }
73 | pname == "libffi" = deriv { extraLibs = delete "ffi" extraLibs }
74+ | pname == "liquid-fixpoint" = deriv { buildTools = "ocaml":buildTools }
74 | pname == "llvm-base" = deriv { extraLibs = "llvm":extraLibs }
75 | pname == "llvm-base" = deriv { extraLibs = "llvm":extraLibs }
75 | pname == "llvm-general" = deriv { doCheck = False }
76 | pname == "llvm-general" = deriv { doCheck = False }
76 | pname == "llvm-general-pure"= deriv { doCheck = False }
77 | pname == "llvm-general-pure"= deriv { doCheck = False }