@@ -55,6 +55,7 @@ hooks =
55 , ("libconfig", over (libraryDepends . system) (replace (binding # ("config", path # ["null"])) (pkg "libconfig")))
55 , ("libconfig", over (libraryDepends . system) (replace (binding # ("config", path # ["null"])) (pkg "libconfig")))
56 , ("liquid-fixpoint", set (executableDepends . system . contains (pkg "ocaml")) True . set (testDepends . system . contains (pkg "z3")) True)
56 , ("liquid-fixpoint", set (executableDepends . system . contains (pkg "ocaml")) True . set (testDepends . system . contains (pkg "z3")) True)
57 , ("liquidhaskell", set (testDepends . system . contains (pkg "z3")) True)
57 , ("liquidhaskell", set (testDepends . system . contains (pkg "z3")) True)
58+ , ("MFlow < 0.4.5.11", set (libraryDepends . tool . contains (bind "self.cpphs")) True)
58 , ("mysql", set (libraryDepends . system . contains (pkg "mysql")) True)
59 , ("mysql", set (libraryDepends . system . contains (pkg "mysql")) True)
59 , ("readline", over (libraryDepends . system) (Set.union (pkgs ["readline", "ncurses"])))
60 , ("readline", over (libraryDepends . system) (Set.union (pkgs ["readline", "ncurses"])))
60 , ("rocksdb-haskell", set (metaSection . platforms) (Set.singleton (Platform X86_64 Linux)))
61 , ("rocksdb-haskell", set (metaSection . platforms) (Set.singleton (Platform X86_64 Linux)))
@@ -217,7 +218,6 @@ postProcess' deriv@(MkDerivation {..})
217 | pname == "libffi" = deriv { extraLibs = Set.delete "ffi" extraLibs }
218 | pname == "libffi" = deriv { extraLibs = Set.delete "ffi" extraLibs }
218 | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "z3" (Set.insert "ocaml" buildTools), configureFlags = Set.insert "-fbuild-external" configureFlags }
219 | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "z3" (Set.insert "ocaml" buildTools), configureFlags = Set.insert "-fbuild-external" configureFlags }
219 | pname == "liquidhaskell" = deriv { buildTools = Set.insert "z3" buildTools }
220 | pname == "liquidhaskell" = deriv { buildTools = Set.insert "z3" buildTools }
220− | pname == "MFlow" = deriv { buildTools = Set.insert "cpphs" buildTools }
221 | pname == "multiarg" = deriv { buildDepends = Set.insert "utf8-string" buildDepends }
221 | pname == "multiarg" = deriv { buildDepends = Set.insert "utf8-string" buildDepends }
222 | pname == "ncurses" = deriv { phaseOverrides = ncursesPatchPhase }
222 | pname == "ncurses" = deriv { phaseOverrides = ncursesPatchPhase }
223 | pname == "Omega" = deriv { testDepends = Set.delete "stdc++" testDepends }
223 | pname == "Omega" = deriv { testDepends = Set.delete "stdc++" testDepends }