diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-11-12 10:20:37 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-11-12 10:21:56 -0800 |
| commit | 9ea242c617bf6fca9b425b5199a26294a406cbc0 (patch) | |
| tree | 169dd4ca31873819cf2c354274939291e1d0cf4a /pkgs/development/coq-modules/interval | |
| parent | f7bb8d2dfa6a1960f9a4b90e55ac7fce84fcc059 (diff) | |
| download | nixpkgs-9ea242c617bf6fca9b425b5199a26294a406cbc0.tar nixpkgs-9ea242c617bf6fca9b425b5199a26294a406cbc0.tar.gz nixpkgs-9ea242c617bf6fca9b425b5199a26294a406cbc0.tar.bz2 nixpkgs-9ea242c617bf6fca9b425b5199a26294a406cbc0.tar.lz nixpkgs-9ea242c617bf6fca9b425b5199a26294a406cbc0.tar.xz nixpkgs-9ea242c617bf6fca9b425b5199a26294a406cbc0.tar.zst nixpkgs-9ea242c617bf6fca9b425b5199a26294a406cbc0.zip | |
coqPackages.interval: Add bignums, now a required dependency
Diffstat (limited to 'pkgs/development/coq-modules/interval')
| -rw-r--r-- | pkgs/development/coq-modules/interval/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/interval/default.nix b/pkgs/development/coq-modules/interval/default.nix index a8d3f9ad144..ef9b2282515 100644 --- a/pkgs/development/coq-modules/interval/default.nix +++ b/pkgs/development/coq-modules/interval/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp }: +{ stdenv, fetchurl, which, coq, coquelicot, flocq, mathcomp, bignums }: let param = if stdenv.lib.versionAtLeast coq.coq-version "8.5" @@ -21,7 +21,7 @@ stdenv.mkDerivation { }; nativeBuildInputs = [ which ]; - buildInputs = [ coq ]; + buildInputs = [ coq bignums ]; propagatedBuildInputs = [ coquelicot flocq mathcomp ]; configurePhase = "./configure --libdir=$out/lib/coq/${coq.coq-version}/user-contrib/Interval"; |