Merge pull request #169 from gridaphobe/patch-2
Add z3 to target.buildTools (for test-suite)
commitbdae67ec9feb6073ce95d7bdb60916dc2b1b7fee
authorPeter Simons <simons@cryp.to>
dateFri 22 May 2015, 19:39 (11 years ago)
parenta31a6f0733930e
src/Cabal2Nix/PostProcess.hs+1
@@ -97,6 +97,7 @@ postProcess' deriv@(MkDerivation {..})
9797 | pname == "structured-haskell-mode" = deriv { buildTools = Set.insert "emacs" buildTools
9898 , phaseOverrides = structuredHaskellModePostInstall
9999 }
100+ | pname == "target" = deriv { buildTools = Set.insert "z3" buildTools }
100101 | pname == "terminfo" = deriv { extraLibs = Set.insert "ncurses" extraLibs }
101102 | pname == "threadscope" = deriv { configureFlags = Set.insert "--ghc-options=-rtsopts" configureFlags }
102103 | pname == "thyme" = deriv { buildTools = Set.insert "cpphs" buildTools }