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

coqPackages_8_10.ltac2: init at 0.3

Browse Source
This commit is contained in:
Vincent Laporte 2019-10-16 08:31:35 +00:00 committed by Vincent Laporte
parent 8b0beaedd2
commit 7044058ef7
1 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pkgs/development/coq-modules/ltac2/default.nix
View File

@ -11,11 +11,16 @@ let params = {
rev = "0.1"; rev = "0.1";
sha256 = "1zz26cyv99whj7rrpgnhhm9dfqnpmrx5pqizn8ihf8jkq8d4drz7"; sha256 = "1zz26cyv99whj7rrpgnhhm9dfqnpmrx5pqizn8ihf8jkq8d4drz7";
}; };
"8.9" = { "8.9" = rec {
version = "0.1"; version = "0.2";
rev = "a69551a49543b22a7d4e6a2484356b56bd05068e"; rev = version;
sha256 = "0xby1kb26r9gcvk5511wqj05fqm9paynwfxlfqkmwkgnfmzk0x73"; sha256 = "0xby1kb26r9gcvk5511wqj05fqm9paynwfxlfqkmwkgnfmzk0x73";
}; };
"8.10" = rec {
version = "0.3";
rev = version;
sha256 = "0pzs5nsakh4l8ffwgn4ryxbnxdv2x0r1i7bc598ij621haxdirrr";
};
}; };
param = params.${coq.coq-version}; param = params.${coq.coq-version};
in in
@ -31,7 +36,10 @@ stdenv.mkDerivation rec {
}; };
nativeBuildInputs = [ which ]; nativeBuildInputs = [ which ];
buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ ocaml findlib camlp5 ]); buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ ocaml findlib ])
++ stdenv.lib.optional (!stdenv.lib.versionAtLeast coq.coq-version "8.10")
coq.ocamlPackages.camlp5
;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";