Add 'ocaml' build tool to the liquid-fixpoint package.
commit4b0e6d73a123b6b10666a47ba7a3ed3d72e479f7
authorPeter Simons <simons@cryp.to>
dateSun 4 Jan 2015, 13:21 (12 years ago)
parent96efb88
src/Cabal2Nix/PostProcess.hs+1
@@ -71,6 +71,7 @@ postProcess deriv@(MkDerivation {..})
7171 | pname == "leksah-server" = deriv { buildDepends = "process-leksah":buildDepends }
7272 | pname == "lhs2tex" = deriv { extraLibs = "texLive":extraLibs, phaseOverrides = lhs2texPostInstall }
7373 | pname == "libffi" = deriv { extraLibs = delete "ffi" extraLibs }
74+ | pname == "liquid-fixpoint" = deriv { buildTools = "ocaml":buildTools }
7475 | pname == "llvm-base" = deriv { extraLibs = "llvm":extraLibs }
7576 | pname == "llvm-general" = deriv { doCheck = False }
7677 | pname == "llvm-general-pure"= deriv { doCheck = False }