diff options
Diffstat (limited to 'pkgs/tools/misc/clasp')
-rw-r--r-- | pkgs/tools/misc/clasp/default.nix | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/pkgs/tools/misc/clasp/default.nix b/pkgs/tools/misc/clasp/default.nix deleted file mode 100644 index 401a2006c6f91..0000000000000 --- a/pkgs/tools/misc/clasp/default.nix +++ /dev/null @@ -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; - }; -} |