Add z3 to target.buildTools (for test-suite)
commit733930e2303469874e0c810b794c98c315563c6c
authorEric Seidel <github@eric.seidel.io>
dateFri 22 May 2015, 08:40 (11 years ago)
parenta31a6f0
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 }