diff options
author | Robert Schütz <rschuetz17@gmail.com> | 2018-04-24 09:10:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-24 09:10:39 +0200 |
commit | a0a1e5e1052327e45d4d0f26775a4981abeb346d (patch) | |
tree | e998d435e8d828797e1ca93a3d3acb04d436cf72 | |
parent | 251882805725159cdf52d233b288483ad48e14b5 (diff) | |
parent | 5e548e94e805794d76402d90bc0dc7e887dde8c9 (diff) | |
download | nixlib-a0a1e5e1052327e45d4d0f26775a4981abeb346d.tar nixlib-a0a1e5e1052327e45d4d0f26775a4981abeb346d.tar.gz nixlib-a0a1e5e1052327e45d4d0f26775a4981abeb346d.tar.bz2 nixlib-a0a1e5e1052327e45d4d0f26775a4981abeb346d.tar.lz nixlib-a0a1e5e1052327e45d4d0f26775a4981abeb346d.tar.xz nixlib-a0a1e5e1052327e45d4d0f26775a4981abeb346d.tar.zst nixlib-a0a1e5e1052327e45d4d0f26775a4981abeb346d.zip |
Merge pull request #39381 from timokau/glpk-gmp
glpk: Add gmp support
-rw-r--r-- | pkgs/development/libraries/glpk/default.nix | 26 |
1 files changed, 23 insertions, 3 deletions
diff --git a/pkgs/development/libraries/glpk/default.nix b/pkgs/development/libraries/glpk/default.nix index b9634e01900e..5b9296608d45 100644 --- a/pkgs/development/libraries/glpk/default.nix +++ b/pkgs/development/libraries/glpk/default.nix @@ -1,13 +1,33 @@ -{ fetchurl, stdenv }: +{ stdenv +, fetchurl +# Excerpt from glpk's INSTALL file: +# This feature allows the exact simplex solver to use the GNU MP +# bignum library. If it is disabled, the exact simplex solver uses the +# GLPK bignum module, which provides the same functionality as GNU MP, +# however, it is much less efficient. +, withGmp ? true +, gmp +}: + +assert withGmp -> gmp != null; stdenv.mkDerivation rec { - name = "glpk-4.65"; + version = "4.65"; + name = "glpk-${version}"; src = fetchurl { url = "mirror://gnu/glpk/${name}.tar.gz"; sha256 = "040sfaa9jclg2nqdh83w71sv9rc1sznpnfiripjdyr48cady50a2"; }; + buildInputs = stdenv.lib.optionals withGmp [ + gmp + ]; + + configureFlags = stdenv.lib.optionals withGmp [ + "--with-gmp" + ]; + doCheck = true; meta = { @@ -23,7 +43,7 @@ stdenv.mkDerivation rec { homepage = http://www.gnu.org/software/glpk/; license = stdenv.lib.licenses.gpl3Plus; - maintainers = [ stdenv.lib.maintainers.bjg ]; + maintainers = with stdenv.lib.maintainers; [ bjg ]; platforms = stdenv.lib.platforms.all; }; } |