git.iko.soy/typeable/cabal2nix
on master help sign in
liquid-fixpoint: disable test suite to fix the build

Upstream uses only stack to test these tests, so they don't work reliably elsewhere.

commitc55f1ca43d74e0c4dc3e360b32548c2172e48a12 authorPeter Simons <simons@cryp.to> dateFri 1 Sep 2017, 13:42 (9 years ago) parentf0558f5
1 file changed+1−1
compare with master
unifiedsplit
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 . set (testDepends . system . contains (pkg "git")) 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 . set doCheck False)
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)