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

coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7

Browse Source
This commit is contained in:
John Wiegley 2017-11-12 08:49:09 -08:00
parent 228dd9defb
commit b2418ca598
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/coq-modules/dpdgraph/default.nix
View File

@ -1,6 +1,11 @@
{ stdenv, fetchFromGitHub, autoreconfHook, coq, ocamlPackages }: { stdenv, fetchFromGitHub, autoreconfHook, coq, ocamlPackages }:
let param = { let param = {
"8.7" = {
version = "0.6.2";
rev = "d76ddde37d918569945774733b7997e8b24daf51";
sha256 = "04lnf4b25yarysj848cfl8pd3i3pr3818acyp9hgwdgd1rqmhjwm";
};
"8.6" = { "8.6" = {
version = "0.6.1"; version = "0.6.1";
rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663"; rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663";
@ -22,7 +27,7 @@ stdenv.mkDerivation {
}; };
nativeBuildInputs = [ autoreconfHook ]; nativeBuildInputs = [ autoreconfHook ];
buildInputs = [ coq ] buildInputs = [ coq coq.camlp5 ]
++ (with ocamlPackages; [ ocaml findlib ocamlgraph ]); ++ (with ocamlPackages; [ ocaml findlib ocamlgraph ]);
preInstall = '' preInstall = ''