From 3e66c4013f96140cc62bb9f0e0c8ca3cc815c591 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Mon, 25 Oct 2021 15:20:28 +0200 Subject: 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. --- pkgs/development/coq-modules/coqeal/default.nix | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'pkgs/development/coq-modules') diff --git a/pkgs/development/coq-modules/coqeal/default.nix b/pkgs/development/coq-modules/coqeal/default.nix index 3a1562b3386..e9ce81c30a9 100644 --- a/pkgs/development/coq-modules/coqeal/default.nix +++ b/pkgs/development/coq-modules/coqeal/default.nix @@ -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; +}) -- cgit 1.4.1