clasp: remove at 3.1.4

The clasp binary is part of the clingo package
This commit is contained in:
Vincent Laporte 2022-12-22 07:45:29 +01:00 committed by Vincent Laporte
parent 5c15e1c8cf
commit 8b6d55d969
4 changed files with 3 additions and 34 deletions

View File

@ -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;

View File

@ -1,29 +0,0 @@
{ lib, stdenv, fetchurl }:
stdenv.mkDerivation rec {
pname = "clasp";
version = "3.1.4";
src = fetchurl {
url = "mirror://sourceforge/project/potassco/clasp/${version}/clasp-${version}-source.tar.gz";
sha256 = "1zkjqc4gp4n9p2kf3k3z8x82g42any4p3shhhivny89z1jlxi9zn";
};
preConfigure = "patchShebangs ./configure.sh";
configureScript = "./configure.sh";
preBuild = "cd build/release";
installPhase = ''
mkdir -p $out/bin
cp bin/clasp $out/bin/clasp
'';
meta = with lib; {
description = "Answer set solver for (extended) normal and disjunctive logic programs";
homepage = "http://potassco.sourceforge.net/";
platforms = platforms.all;
maintainers = [ maintainers.hakuch ];
license = licenses.gpl2Plus;
};
}

View File

@ -217,6 +217,7 @@ mapAliases ({
clang13Stdenv = lowPrio llvmPackages_13.stdenv;
clangAnalyzer = throw "'clangAnalyzer' has been renamed to/replaced by 'clang-analyzer'"; # Converted to throw 2022-02-22
clasp = clingo; # added 2022-12-22
claws-mail-gtk2 = throw "claws-mail-gtk2 was removed to get rid of Python 2, please use claws-mail"; # Added 2021-12-05
claws-mail-gtk3 = claws-mail; # Added 2021-07-10
clawsMail = throw "'clawsMail' has been renamed to/replaced by 'claws-mail'"; # Converted to throw 2022-02-22

View File

@ -3877,8 +3877,6 @@ with pkgs;
clash-geoip = callPackage ../data/misc/clash-geoip { };
clasp = callPackage ../tools/misc/clasp { };
clevercsv = with python3Packages; toPythonApplication clevercsv;
clevis = callPackage ../tools/security/clevis {