diff options
| author | Azat Bahawi <azat@bahawi.net> | 2022-05-28 02:21:13 +0300 |
|---|---|---|
| committer | Azat Bahawi <azat@bahawi.net> | 2022-05-28 02:21:13 +0300 |
| commit | aa8447dd0c3688a2d04dbd3bab324a4b0a5f8220 (patch) | |
| tree | 917e6dfd293c3b044544484300c3276754052ab9 | |
| parent | 2be2461a98380707dcd3858f927f4fa090b84682 (diff) | |
| download | nixpkgs-aa8447dd0c3688a2d04dbd3bab324a4b0a5f8220.tar nixpkgs-aa8447dd0c3688a2d04dbd3bab324a4b0a5f8220.tar.gz nixpkgs-aa8447dd0c3688a2d04dbd3bab324a4b0a5f8220.tar.bz2 nixpkgs-aa8447dd0c3688a2d04dbd3bab324a4b0a5f8220.tar.lz nixpkgs-aa8447dd0c3688a2d04dbd3bab324a4b0a5f8220.tar.xz nixpkgs-aa8447dd0c3688a2d04dbd3bab324a4b0a5f8220.tar.zst nixpkgs-aa8447dd0c3688a2d04dbd3bab324a4b0a5f8220.zip | |
clingcon: fix build
Fix build https://hydra.nixos.org/build/178237905
| -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. |