diff options
Diffstat (limited to 'pkgs/development/libraries/gecode/fix-const-weights-clang-patch.nix')
| -rw-r--r-- | pkgs/development/libraries/gecode/fix-const-weights-clang-patch.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pkgs/development/libraries/gecode/fix-const-weights-clang-patch.nix b/pkgs/development/libraries/gecode/fix-const-weights-clang-patch.nix new file mode 100644 index 00000000000..77160283afe --- /dev/null +++ b/pkgs/development/libraries/gecode/fix-const-weights-clang-patch.nix @@ -0,0 +1,7 @@ +fetchpatch: +# https://github.com/Gecode/gecode/pull/74 +(fetchpatch { + name = "fix-const-weights-clang.patch"; + url = "https://github.com/Gecode/gecode/commit/c810c96b1ce5d3692e93439f76c4fa7d3daf9fbb.patch"; + sha256 = "0270msm22q5g5sqbdh8kmrihlxnnxqrxszk9a49hdxd72736p4fc"; +}) |