diff options
Diffstat (limited to 'pkgs/development/coq-modules/interval/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/interval/default.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/development/coq-modules/interval/default.nix b/pkgs/development/coq-modules/interval/default.nix index 4134a8fd573d1..b9257d415e57f 100644 --- a/pkgs/development/coq-modules/interval/default.nix +++ b/pkgs/development/coq-modules/interval/default.nix @@ -1,5 +1,4 @@ -{ lib, mkCoqDerivation, autoconf, coq, coquelicot, flocq, - mathcomp-ssreflect, mathcomp-fingroup, bignums ? null, gnuplot_qt, version ? null }: +{ lib, mkCoqDerivation, which, autoconf, coq, coquelicot, flocq, mathcomp-ssreflect, mathcomp-fingroup, bignums ? null, gnuplot_qt, version ? null }: mkCoqDerivation rec { pname = "interval"; @@ -21,9 +20,8 @@ mkCoqDerivation rec { release."3.3.0".sha256 = "0lz2hgggzn4cvklvm8rpaxvwaryf37i8mzqajqgdxdbd8f12acsz"; releaseRev = v: "interval-${v}"; - nativeBuildInputs = [ autoconf ]; - propagatedBuildInputs = lib.optional (lib.versions.isGe "8.6" coq.coq-version) bignums - ++ [ coquelicot flocq mathcomp-ssreflect mathcomp-fingroup ] + extraNativeBuildInputs = [ which autoconf ]; + propagatedBuildInputs = [ bignums coquelicot flocq mathcomp-ssreflect mathcomp-fingroup ] ++ lib.optionals (lib.versions.isGe "4.2.0" defaultVersion) [ gnuplot_qt ]; useMelquiondRemake.logpath = "Interval"; mlPlugin = true; |