diff options
-rw-r--r-- | pkgs/applications/science/logic/potassco/clingcon.nix | 4 | ||||
-rw-r--r-- | pkgs/applications/science/logic/potassco/clingcon_limits.patch | 24 |
2 files changed, 28 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/potassco/clingcon.nix b/pkgs/applications/science/logic/potassco/clingcon.nix index d7ec2e72433..2238e490a60 100644 --- a/pkgs/applications/science/logic/potassco/clingcon.nix +++ b/pkgs/applications/science/logic/potassco/clingcon.nix @@ -16,6 +16,10 @@ stdenv.mkDerivation rec { sha256 = "1g2xkz9nsgqnrw3fdf5jchl16f0skj5mm32va61scc2yrchll166"; }; + patches = [ + ./clingcon_limits.patch + ]; + postPatch = '' cp ${catch2}/include/catch2/catch.hpp libclingcon/tests/catch.hpp ''; diff --git a/pkgs/applications/science/logic/potassco/clingcon_limits.patch b/pkgs/applications/science/logic/potassco/clingcon_limits.patch new file mode 100644 index 00000000000..0343e10e211 --- /dev/null +++ b/pkgs/applications/science/logic/potassco/clingcon_limits.patch @@ -0,0 +1,24 @@ +diff --git i/libclingcon/clingcon/base.hh w/libclingcon/clingcon/base.hh +index 2d449fe..0b5fa17 100644 +--- i/libclingcon/clingcon/base.hh ++++ w/libclingcon/clingcon/base.hh +@@ -28,6 +28,7 @@ + #include <clingo.hh> + #include <optional> + #include <forward_list> ++#include <limits> + + //! @file clingcon/base.hh + //! Basic data types. +diff --git i/libclingcon/clingcon/util.hh w/libclingcon/clingcon/util.hh +index df4cddd..308259e 100644 +--- i/libclingcon/clingcon/util.hh ++++ w/libclingcon/clingcon/util.hh +@@ -30,6 +30,7 @@ + #include <map> + #include <cstdlib> + #include <stdexcept> ++#include <limits> + + //! @file clingcon/util.hh + //! Very general utility functions. |