259cdff · typeable/cabal2nix

39 , ("Agda < 2.5", set (executableDepends . tool . contains (pkg "emacs")) True . set phaseOverrides agdaPostInstall)

40 , ("Agda >= 2.5", set (executableDepends . tool . contains (pkg "emacs")) True . set phaseOverrides agda25PostInstall)

41 , ("bindings-GLFW", over (libraryDepends . system) (Set.union (Set.fromList [bind "pkgs.xorg.libXext", bind "pkgs.xorg.libXfixes"])))

42− , ("bustle", set (libraryDepends . pkgconfig . contains (binding # ("system-glib", path # ["pkgs","glib"]))) True)

42+ , ("bustle", set (libraryDepends . pkgconfig . contains "system-glib = pkgs.glib") True)

43 , ("cabal-install", set phaseOverrides cabalInstallPostInstall)

44 , ("cabal-helper", set doCheck False) -- https://github.com/DanielG/cabal-helper/issues/17

45 , ("darcs", set phaseOverrides darcsInstallPostInstall . set doCheck False)

72 , ("include-file <= 0.1.0.2", set (libraryDepends . haskell . contains (bind "self.random")) True) -- https://github.com/Daniel-Diaz/include-file/issues/1

73 , ("jsaddle", set (dependencies . haskell . contains (bind "self.ghcjs-base")) False)

74 , ("js-jquery", set doCheck False) -- attempts to access the network

75− , ("libconfig", over (libraryDepends . system) (replace (binding # ("config", path # ["null"])) (pkg "libconfig")))

75+ , ("libconfig", over (libraryDepends . system) (replace "config = null" (pkg "libconfig")))

76 , ("liquid-fixpoint", set (executableDepends . system . contains (pkg "ocaml")) True . set (testDepends . system . contains (pkg "z3")) True)

77 , ("liquidhaskell", set (testDepends . system . contains (pkg "z3")) True)

78 , ("MFlow < 4.6", set (libraryDepends . tool . contains (bind "self.cpphs")) True)