forked from mirrors/nixpkgs
coqPackages.coqeal: master, add dependency
In order to include matrix normal forms in CoqEAL (https://github.com/coq-community/coqeal/pull/54) we add a dependency to mathcomp-real-closed.
This commit is contained in:
parent
81640c0d8c
commit
3e66c4013f
|
@ -1,7 +1,10 @@
|
|||
{ coq, mkCoqDerivation, mathcomp, bignums, paramcoq, multinomials,
|
||||
mathcomp-real-closed,
|
||||
lib, which, version ? null }:
|
||||
|
||||
with lib; mkCoqDerivation {
|
||||
with lib;
|
||||
|
||||
(mkCoqDerivation {
|
||||
|
||||
pname = "CoqEAL";
|
||||
|
||||
|
@ -25,4 +28,7 @@ with lib; mkCoqDerivation {
|
|||
description = "CoqEAL - The Coq Effective Algebra Library";
|
||||
license = licenses.mit;
|
||||
};
|
||||
}
|
||||
}).overrideAttrs (o: {
|
||||
propagatedBuildInputs = o.propagatedBuildInputs
|
||||
++ optional (versions.isGe "1.1" o.version || o.version == "dev") mathcomp-real-closed;
|
||||
})
|
||||
|
|
Loading…
Reference in a new issue