public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for 

OCaml4.02)
This commit is contained in:
Vincent Laporte 2014-09-23 20:48:50 +01:00
parent d274ee3f80
commit b9741719fa
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/ocaml-modules/ocamlgraph/default.nix
View File

@ -13,7 +13,7 @@ stdenv.mkDerivation {
sha256 = "0bxqxzd5sd7siz57vhzb8bmiz1ddhgdv49gcsmwwfmd16mj4cryi"; sha256 = "0bxqxzd5sd7siz57vhzb8bmiz1ddhgdv49gcsmwwfmd16mj4cryi";
}; };
buildInputs = [ ocaml findlib ocamlPackages.lablgtk ]; buildInputs = [ ocaml findlib ocamlPackages.lablgtk ocamlPackages.camlp4 ];
patches = ./destdir.patch; patches = ./destdir.patch;

4
pkgs/top-level/all-packages.nix
View File

@ -11453,8 +11453,8 @@ let
picosat = callPackage ../applications/science/logic/picosat {}; picosat = callPackage ../applications/science/logic/picosat {};
prooftree = callPackage ../applications/science/logic/prooftree { prooftree = callPackage ../applications/science/logic/prooftree {
inherit (ocamlPackages) findlib lablgtk; inherit (ocamlPackages_4_01_0) ocaml findlib lablgtk;
camlp5 = ocamlPackages.camlp5_transitional; camlp5 = ocamlPackages_4_01_0.camlp5_transitional;
}; };
prover9 = callPackage ../applications/science/logic/prover9 { }; prover9 = callPackage ../applications/science/logic/prover9 { };