diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-12-22 07:45:29 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-12-28 10:23:32 +0100 |
commit | 8b6d55d9695afa3a5fe2634428ad9d507ad20fa3 (patch) | |
tree | 5bf03a1e0cd26bf73e1019e5910f1e0eee28e5aa /pkgs/tools/misc/aspcud | |
parent | 5c15e1c8cf7a0399cbd1bceab6b1fb2094f81bd1 (diff) |
clasp: remove at 3.1.4
The clasp binary is part of the clingo package
Diffstat (limited to 'pkgs/tools/misc/aspcud')
-rw-r--r-- | pkgs/tools/misc/aspcud/default.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pkgs/tools/misc/aspcud/default.nix b/pkgs/tools/misc/aspcud/default.nix index 057ba28ff061b..e3f75693803c3 100644 --- a/pkgs/tools/misc/aspcud/default.nix +++ b/pkgs/tools/misc/aspcud/default.nix @@ -3,7 +3,6 @@ , fetchFromGitHub , boost , catch2 -, clasp , cmake , clingo , re2c @@ -25,12 +24,12 @@ stdenv.mkDerivation rec { ''; nativeBuildInputs = [ cmake ]; - buildInputs = [ boost clasp clingo re2c ]; + buildInputs = [ boost clingo re2c ]; cmakeFlags = [ "-DCMAKE_BUILD_TYPE=Release" "-DASPCUD_GRINGO_PATH=${clingo}/bin/gringo" - "-DASPCUD_CLASP_PATH=${clasp}/bin/clasp" + "-DASPCUD_CLASP_PATH=${clingo}/bin/clasp" ]; doCheck = true; |