diff options
author | Maximilian Bosch <maximilian@mbosch.me> | 2021-10-14 14:46:29 +0200 |
---|---|---|
committer | Maximilian Bosch <maximilian@mbosch.me> | 2022-02-27 10:26:50 +0100 |
commit | 40fc0090fc5442d8dd67423284282548625618a6 (patch) | |
tree | 7e6a57519b6d08af5e66e89bbec227aa6c5b4da0 /pkgs/tools/misc/aspcud | |
parent | 84635a6e17a8907b1f28d3efb9d3b98ea61cbe66 (diff) |
aspcud: fix build w/glibc-2.34
Failing Hydra build: https://hydra.nixos.org/build/155189149
Diffstat (limited to 'pkgs/tools/misc/aspcud')
-rw-r--r-- | pkgs/tools/misc/aspcud/default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pkgs/tools/misc/aspcud/default.nix b/pkgs/tools/misc/aspcud/default.nix index ef1b6a5a4ca5b..12cc6572abcb9 100644 --- a/pkgs/tools/misc/aspcud/default.nix +++ b/pkgs/tools/misc/aspcud/default.nix @@ -2,6 +2,7 @@ , stdenv , fetchFromGitHub , boost +, catch2 , clasp , cmake , gringo @@ -19,6 +20,10 @@ stdenv.mkDerivation rec { hash = "sha256-d04GPMoz6PMGq6iiul0zT1C9Mljdl9uJJ2C8MIwcmaw="; }; + postPatch = '' + cp ${catch2}/include/catch2/catch.hpp libcudf/tests/catch.hpp + ''; + nativeBuildInputs = [ cmake ]; buildInputs = [ boost clasp gringo re2c ]; @@ -28,6 +33,8 @@ stdenv.mkDerivation rec { "-DASPCUD_CLASP_PATH=${clasp}/bin/clasp" ]; + doCheck = true; + meta = with lib; { description = "Solver for package problems in CUDF format using ASP"; homepage = "https://potassco.org/aspcud/"; |