diff options
Diffstat (limited to 'pkgs/development/libraries/gecode/default.nix')
-rw-r--r-- | pkgs/development/libraries/gecode/default.nix | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/pkgs/development/libraries/gecode/default.nix b/pkgs/development/libraries/gecode/default.nix index 83ec0edfb49f..2d5556b35021 100644 --- a/pkgs/development/libraries/gecode/default.nix +++ b/pkgs/development/libraries/gecode/default.nix @@ -1,22 +1,26 @@ -{ stdenv, fetchurl, perl }: +{ stdenv, fetchFromGitHub, bison, flex, perl, gmp, mpfr, enableGist ? true, qtbase }: stdenv.mkDerivation rec { name = "gecode-${version}"; - version = "6.0.0"; + version = "6.1.0"; - src = fetchurl { - url = "http://www.gecode.org/download/${name}.tar.gz"; - sha256 = "0dp7bm6k790jx669y4jr0ffi5cdfpwsqm1ykj2c0zh56jsgs6hfs"; + src = fetchFromGitHub { + owner = "Gecode"; + repo = "gecode"; + rev = "release-${version}"; + sha256 = "1ijjy8ppx7djnkrkawsd00rmlf24qh1z13aap0h1azailw1pbrg4"; }; enableParallelBuilding = true; - buildInputs = [ perl ]; + nativeBuildInputs = [ bison flex ]; + buildInputs = [ perl gmp mpfr ] + ++ stdenv.lib.optional enableGist qtbase; meta = with stdenv.lib; { license = licenses.mit; homepage = http://www.gecode.org; description = "Toolkit for developing constraint-based systems"; platforms = platforms.all; - maintainers = [ maintainers.manveru ]; + maintainers = [ ]; }; } |