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

Support dev version of equations

Browse Source
This commit is contained in:
Matthieu Sozeau
2022-09-22 14:14:06 +02:00
parent 9b296be946
commit 3604bfdf5b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/equations/default.nix
View File

@@ -63,5 +63,5 @@ with lib; (mkCoqDerivation {
maintainers = with maintainers; [ jwiegley ];
};
}).overrideAttrs (o: {
preBuild = "coq_makefile -f _CoqProject -o Makefile${optionalString (versionAtLeast o.version "1.2.1") ".coq"}";
preBuild = "coq_makefile -f _CoqProject -o Makefile${optionalString (versionAtLeast o.version "1.2.1" || o.version == "dev") ".coq"}";
})