git.iko.soy/typeable/cabal2nix
on master help sign in
liquid-fixpoint: add missing test suite dependency "git"
commitf0558f56bdf82cf42ae3bec70d3220d667c83d4b authorPeter Simons <simons@cryp.to> dateSun 27 Aug 2017, 11:39 (9 years ago) parentc60d449
1 file changed+1−1
src/Distribution/Nixpkgs/Haskell/FromCabal/PostProcess.hs+1−1
src/Distribution/Nixpkgs/Haskell/FromCabal/PostProcess.hs+1−1
@@ -87,7 +87,7 @@ hooks =
8787 , ("jsaddle", set (dependencies . haskell . contains (bind "self.ghcjs-base")) False)
8888 , ("js-jquery", set doCheck False) -- attempts to access the network
8989 , ("libconfig", over (libraryDepends . system) (replace "config = null" (pkg "libconfig")))
90− , ("liquid-fixpoint", set (executableDepends . system . contains (pkg "ocaml")) True . set (testDepends . system . contains (pkg "z3")) True . set (testDepends . system . contains (pkg "nettools")) True)
90+ , ("liquid-fixpoint", set (executableDepends . system . contains (pkg "ocaml")) True . set (testDepends . system . contains (pkg "z3")) True . set (testDepends . system . contains (pkg "nettools")) True . set (testDepends . system . contains (pkg "git")) True)
9191 , ("liquidhaskell", set (testDepends . system . contains (pkg "z3")) True)
9292 , ("lzma-clib", over (metaSection . platforms) (Set.filter (\(Platform _ os) -> os == Windows)) . set (libraryDepends . haskell . contains (bind "self.only-buildable-on-windows")) False)
9393 , ("MFlow < 4.6", set (libraryDepends . tool . contains (bind "self.cpphs")) True)