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

mkCoqDerivation: clean up support for Coq <= 8.6

Browse Source 
We don't package these old versions anymore.
This commit is contained in:
Théo Zimmermann
2026-07-02 14:53:10 +02:00
parent 301164d8e0
commit 6548b1eece
1 changed files with 5 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/build-support/coq/default.nix
+5 -21
View File
@@ -157,27 +157,11 @@ let
append-version = p: n: p + display-pkg n "" coqPackages.${n}.version + "-";
prefix-name = foldl append-version "" namePrefix;
useDune = args.useDune or (useDuneifVersion fetched.version);
coqlib-flags =
switch coq.coq-version
[
{
case = v: versions.isLe "8.6" v && v != "dev";
out = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
}
]
[
"COQLIBINSTALL=$(out)/lib/coq/${coq.coq-version}/user-contrib"
"COQPLUGININSTALL=$(OCAMLFIND_DESTDIR)"
];
docdir-flags =
switch coq.coq-version
[
{
case = v: versions.isLe "8.6" v && v != "dev";
out = [ "DOCDIR=$(out)/share/coq/${coq.coq-version}/" ];
}
]
[ "COQDOCINSTALL=$(out)/share/coq/${coq.coq-version}/user-contrib" ];
coqlib-flags = [
"COQLIBINSTALL=$(out)/lib/coq/${coq.coq-version}/user-contrib"
"COQPLUGININSTALL=$(OCAMLFIND_DESTDIR)"
];
docdir-flags = [ "COQDOCINSTALL=$(out)/share/coq/${coq.coq-version}/user-contrib" ];
in
stdenv.mkDerivation (