diff options
Diffstat (limited to 'pkgs/development/libraries/gecode/3.nix')
-rw-r--r-- | pkgs/development/libraries/gecode/3.nix | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/pkgs/development/libraries/gecode/3.nix b/pkgs/development/libraries/gecode/3.nix index 3cf5d590fa8..685baea4a4c 100644 --- a/pkgs/development/libraries/gecode/3.nix +++ b/pkgs/development/libraries/gecode/3.nix @@ -1,4 +1,9 @@ -{ lib, stdenv, fetchurl, perl }: +{ lib +, stdenv +, fetchurl +, fetchpatch +, perl +}: stdenv.mkDerivation rec { pname = "gecode"; @@ -9,11 +14,16 @@ stdenv.mkDerivation rec { sha256 = "0k45jas6p3cyldgyir1314ja3174sayn2h2ly3z9b4dl3368pk77"; }; + patches = [ + (import ./fix-const-weights-clang-patch.nix fetchpatch) + ]; + nativeBuildInputs = [ perl ]; preConfigure = "patchShebangs configure"; meta = with lib; { + broken = stdenv.isDarwin; license = licenses.mit; homepage = "https://www.gecode.org"; description = "Toolkit for developing constraint-based systems"; |