diff options
author | Will Dietz <w@wdtz.org> | 2018-12-01 14:07:37 -0600 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-12-01 14:24:49 -0600 |
commit | 303e4d7f1ab711407db72e92c07f64351db701e2 (patch) | |
tree | 6697fd38a88fe9b0a618cfa731bd680ee482c2bc /pkgs/development/libraries/gecode | |
parent | 1151a0182d2c5bdf08623388452538dc472e29bc (diff) | |
download | nixlib-303e4d7f1ab711407db72e92c07f64351db701e2.tar nixlib-303e4d7f1ab711407db72e92c07f64351db701e2.tar.gz nixlib-303e4d7f1ab711407db72e92c07f64351db701e2.tar.bz2 nixlib-303e4d7f1ab711407db72e92c07f64351db701e2.tar.lz nixlib-303e4d7f1ab711407db72e92c07f64351db701e2.tar.xz nixlib-303e4d7f1ab711407db72e92c07f64351db701e2.tar.zst nixlib-303e4d7f1ab711407db72e92c07f64351db701e2.zip |
gecode: more deps, build w/gist support but make optional
Also rename "gecode_4" attribute since this is version 6?
Diffstat (limited to 'pkgs/development/libraries/gecode')
-rw-r--r-- | pkgs/development/libraries/gecode/default.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/development/libraries/gecode/default.nix b/pkgs/development/libraries/gecode/default.nix index 06bfa2825661..3a3609f955b9 100644 --- a/pkgs/development/libraries/gecode/default.nix +++ b/pkgs/development/libraries/gecode/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, perl }: +{ stdenv, fetchFromGitHub, bison, flex, perl, gmp, mpfr, enableGist ? true, qtbase }: stdenv.mkDerivation rec { name = "gecode-${version}"; @@ -12,7 +12,9 @@ stdenv.mkDerivation rec { }; enableParallelBuilding = true; - buildInputs = [ perl ]; + nativeBuildInputs = [ bison flex ]; + buildInputs = [ perl gmp mpfr ] + ++ stdenv.lib.optional enableGist qtbase; meta = with stdenv.lib; { license = licenses.mit; |