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

coqPackages.bignums: do not depend on camlp5 for recent versions of Coq

Browse Source
This commit is contained in:
Vincent Laporte 2020-10-02 22:14:02 +02:00 committed by Vincent Laporte
parent 56b0334bcf
commit 488d73f045
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/coq-modules/bignums/default.nix
View File

@ -43,7 +43,9 @@ stdenv.mkDerivation {
inherit (param) rev sha256; inherit (param) rev sha256;
}; };
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib coq ]; buildInputs = with coq.ocamlPackages; [ ocaml findlib coq ]
++ stdenv.lib.optional (!stdenv.lib.versionAtLeast coq.coq-version "8.10") camlp5
;
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ]; installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];