From 3e66c4013f96140cc62bb9f0e0c8ca3cc815c591 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Mon, 25 Oct 2021 15:20:28 +0200
Subject: [PATCH] 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(-)

diff --git a/pkgs/development/coq-modules/coqeal/default.nix b/pkgs/development/coq-modules/coqeal/default.nix
index 3a1562b3386d..e9ce81c30a9d 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;
+})