From d7e84159f83099e6cfcaf743c8c4bbf8fcf15176 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 13 Nov 2017 07:29:27 +0000
Subject: [PATCH] coqPackages.interval: make bignums optional and propagated

---
 pkgs/development/coq-modules/interval/default.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/coq-modules/interval/default.nix b/pkgs/development/coq-modules/interval/default.nix
index ef9b22825152..683ab80b36bb 100644
--- a/pkgs/development/coq-modules/interval/default.nix
+++ b/pkgs/development/coq-modules/interval/default.nix
@@ -1,4 +1,5 @@
-{ stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp, bignums }:
+{ stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp
+, bignums ? null }:
 
 let param =
   if stdenv.lib.versionAtLeast coq.coq-version "8.5"
@@ -21,8 +22,8 @@ stdenv.mkDerivation {
   };
 
   nativeBuildInputs = [ which ];
-  buildInputs = [ coq bignums ];
-  propagatedBuildInputs = [ coquelicot flocq mathcomp ];
+  buildInputs = [ coq ];
+  propagatedBuildInputs = [ bignums coquelicot flocq mathcomp ];
 
   configurePhase = "./configure --libdir=$out/lib/coq/${coq.coq-version}/user-contrib/Interval";
   buildPhase = "./remake";