git.iko.soy/typeable/cabal2nix
on master help sign in
Cabal2Nix/PostProcess.hs: configure builds for idris and libffi
commit09599b5028572b1986a6bd5adf35cb4eb6fc8b9f authorPeter Simons <simons@cryp.to> dateWed 5 Jun 2013, 11:00 (13 years ago) parent951c6d4
1 file changed+3−1
src/Cabal2Nix/PostProcess.hs+3−1
src/Cabal2Nix/PostProcess.hs+3−1
@@ -30,9 +30,11 @@ postProcess deriv@(MkDerivation {..})
3030 | pname == "highlighting-kate"= highlightingKatePostProcessing deriv
3131 | pname == "hmatrix" = deriv { extraLibs = "gsl":"liblapack":"blas":extraLibs }
3232 | pname == "hspec" = deriv { doCheck = False }
33− | pname == "idris" = deriv { buildTools = "happy":buildTools }
33+ | pname == "idris" = deriv { buildTools = "happy":buildTools, extraLibs = "gmp":extraLibs }
3434 | pname == "language-c-quote" = deriv { buildTools = "alex":"happy":buildTools }
35+ | pname == "language-java" = deriv { buildDepends = "syb":buildDepends }
3536 | pname == "leksah-server" = deriv { buildDepends = "process-leksah":buildDepends }
37+ | pname == "libffi" = deriv { extraLibs = delete "ffi" extraLibs }
3638 | pname == "llvm-base" = deriv { extraLibs = "llvm":extraLibs }
3739 | pname == "multiarg" = deriv { buildDepends = "utf8String":buildDepends }
3840 | pname == "OpenAL" = deriv { extraLibs = "openal":extraLibs }