diff options
author | Maximilian Bosch <maximilian@mbosch.me> | 2022-01-10 16:33:32 +0100 |
---|---|---|
committer | Maximilian Bosch <maximilian@mbosch.me> | 2022-02-27 10:26:56 +0100 |
commit | 52bba1de8ae33329d9e5937f0585c56179160938 (patch) | |
tree | 6ce4716a9263a2367fc2f55e7c79df70b652d4bc /pkgs/applications/science/logic/potassco/clingcon.nix | |
parent | f31930977deea1c0c49b8a72234a0a7a7864aa35 (diff) | |
download | nixpkgs-52bba1de8ae33329d9e5937f0585c56179160938.tar nixpkgs-52bba1de8ae33329d9e5937f0585c56179160938.tar.gz nixpkgs-52bba1de8ae33329d9e5937f0585c56179160938.tar.bz2 nixpkgs-52bba1de8ae33329d9e5937f0585c56179160938.tar.lz nixpkgs-52bba1de8ae33329d9e5937f0585c56179160938.tar.xz nixpkgs-52bba1de8ae33329d9e5937f0585c56179160938.tar.zst nixpkgs-52bba1de8ae33329d9e5937f0585c56179160938.zip |
clingcon: fix build w/glibc-2.34
Failing Hydra build: https://hydra.nixos.org/build/163641612
Diffstat (limited to 'pkgs/applications/science/logic/potassco/clingcon.nix')
-rw-r--r-- | pkgs/applications/science/logic/potassco/clingcon.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/potassco/clingcon.nix b/pkgs/applications/science/logic/potassco/clingcon.nix index 1614adf4553..d7ec2e72433 100644 --- 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 = [ |