diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-11-24 22:31:36 +0100 |
---|---|---|
committer | Robert Schütz <nix@dotlambda.de> | 2022-11-27 09:59:01 -0800 |
commit | b41229b19de125f989d4837a6e1df7a72b0465f8 (patch) | |
tree | d2b620e40a57c8a6ce76c717b42f461fa1ab7b2f /pkgs/tools/misc/aspcud | |
parent | 3265a24b79bbf1a21f0da2b67cfd71878b7eb52c (diff) |
gringo: remove at 4.5.4
The gringo binary is part of the clingo package
Diffstat (limited to 'pkgs/tools/misc/aspcud')
-rw-r--r-- | pkgs/tools/misc/aspcud/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/tools/misc/aspcud/default.nix b/pkgs/tools/misc/aspcud/default.nix index 690e69b80642b..057ba28ff061b 100644 --- a/pkgs/tools/misc/aspcud/default.nix +++ b/pkgs/tools/misc/aspcud/default.nix @@ -5,7 +5,7 @@ , catch2 , clasp , cmake -, gringo +, clingo , re2c }: @@ -25,11 +25,11 @@ stdenv.mkDerivation rec { ''; nativeBuildInputs = [ cmake ]; - buildInputs = [ boost clasp gringo re2c ]; + buildInputs = [ boost clasp clingo re2c ]; cmakeFlags = [ "-DCMAKE_BUILD_TYPE=Release" - "-DASPCUD_GRINGO_PATH=${gringo}/bin/gringo" + "-DASPCUD_GRINGO_PATH=${clingo}/bin/gringo" "-DASPCUD_CLASP_PATH=${clasp}/bin/clasp" ]; |