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

coqPackages.coq-elpi: rstore overridability on Coq < 9.0

Browse Source
This commit is contained in:
Pierre Roux
2025-02-18 17:05:11 +01:00
committed by Vincent Laporte
parent 76de542f66
commit eca34552eb
1 changed files with 16 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/coq-elpi/default.nix
+16 -3
View File
@@ -132,9 +132,9 @@ patched-derivation3 = patched-derivation2.overrideAttrs
patched-derivation4 = patched-derivation3.overrideAttrs
(
o:
# this is just a wrapper for rocPackages.bignums for Rocq >= 9.0
lib.optionalAttrs (coq.version != null && (coq.version == "dev"
|| lib.versions.isGe "9.0" coq.version)) {
# this is just a wrapper for rocPackages.rocq-elpi for Rocq >= 9.0
if coq.version != null && (coq.version == "dev"
|| lib.versions.isGe "9.0" coq.version) then {
configurePhase = ''
echo no configuration
'';
@@ -146,6 +146,19 @@ patched-derivation4 = patched-derivation3.overrideAttrs
'';
propagatedBuildInputs = o.propagatedBuildInputs
++ [ rocqPackages.rocq-elpi ];
} else lib.optionalAttrs (o.version != null && (o.version == "dev"
|| lib.versions.isGe "2.5.0" o.version)) {
configurePhase = ''
make dune-files || true
'';
buildPhase = ''
dune build -p rocq-elpi @install ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}
'';
installPhase = ''
dune install --root . rocq-elpi --prefix=$out --libdir $OCAMLFIND_DESTDIR
mkdir $out/lib/coq/
mv $OCAMLFIND_DESTDIR/coq $out/lib/coq/${coq.coq-version}
'';
}
);
in patched-derivation4