From aa8447dd0c3688a2d04dbd3bab324a4b0a5f8220 Mon Sep 17 00:00:00 2001
From: Azat Bahawi <azat@bahawi.net>
Date: Sat, 28 May 2022 02:21:13 +0300
Subject: clingcon: fix build

Fix build https://hydra.nixos.org/build/178237905
---
 .../science/logic/potassco/clingcon.nix            |  4 ++++
 .../science/logic/potassco/clingcon_limits.patch   | 24 ++++++++++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 pkgs/applications/science/logic/potassco/clingcon_limits.patch

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.
-- 
cgit 1.4.1