clingcon: fix build w/glibc-2.34

Failing Hydra build: https://hydra.nixos.org/build/163641612
2022-01-10 16:33:32 +01:00 · 2022-01-10 16:33:32 +01:00 · 52bba1de8a
commit 52bba1de8a
parent f31930977d
1 changed files with 5 additions and 0 deletions
--- a/pkgs/applications/science/logic/potassco/clingcon.nix
+++ b/pkgs/applications/science/logic/potassco/clingcon.nix
@ -2,6 +2,7 @@
 , fetchFromGitHub
 , cmake
 , clingo
+, catch2
 }:

 stdenv.mkDerivation rec {
@ -15,6 +16,10 @@ stdenv.mkDerivation rec {
    sha256 = "1g2xkz9nsgqnrw3fdf5jchl16f0skj5mm32va61scc2yrchll166";
   };

+  postPatch = ''
+    cp ${catch2}/include/catch2/catch.hpp libclingcon/tests/catch.hpp
+  '';
+
  nativeBuildInputs = [ cmake clingo ];

  cmakeFlags = [