coqPackages.hierarchy-builder: etc
This commit is contained in:
parent
461db988af
commit
314e64e467
@ -1,6 +1,6 @@
|
||||
{ lib, mkCoqDerivation, which, coq, coq-elpi, version ? null }:
|
||||
|
||||
with lib; mkCoqDerivation {
|
||||
with lib; let hb = mkCoqDerivation {
|
||||
pname = "hierarchy-builder";
|
||||
owner = "math-comp";
|
||||
inherit version;
|
||||
@ -21,8 +21,6 @@ with lib; mkCoqDerivation {
|
||||
|
||||
mlPlugin = true;
|
||||
|
||||
buildPhase = "make build";
|
||||
|
||||
installFlags = [ "DESTDIR=$(out)" "COQMF_COQLIB=lib/coq/${coq.coq-version}" ];
|
||||
extraInstallFlags = [ "VFILES=structures.v" ];
|
||||
|
||||
@ -31,4 +29,8 @@ with lib; mkCoqDerivation {
|
||||
maintainers = with maintainers; [ cohencyril siraben ];
|
||||
license = licenses.mit;
|
||||
};
|
||||
}
|
||||
}; in
|
||||
hb.overrideAttrs (o:
|
||||
optionalAttrs (versions.isGe "1.2.0" o.version || o.version == "dev")
|
||||
{ buildPhase = "make build"; }
|
||||
)
|
||||
|
Loading…
Reference in New Issue
Block a user