pkgs/tools/misc/clasp/default.nix

   1 { lib, stdenv, fetchurl }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "clasp";
   5   version = "3.1.4";
   6
   7   src = fetchurl {
   8     url = "mirror://sourceforge/project/potassco/clasp/${version}/clasp-${version}-source.tar.gz";
   9     sha256 = "1zkjqc4gp4n9p2kf3k3z8x82g42any4p3shhhivny89z1jlxi9zn";
  10   };
  11
  12   preConfigure = "patchShebangs ./configure.sh";
  13   configureScript = "./configure.sh";
  14
  15   preBuild = "cd build/release";
  16
  17   installPhase = ''
  18     mkdir -p $out/bin
  19     cp bin/clasp $out/bin/clasp
  20   '';
  21
  22   meta = with lib; {
  23     description = "Answer set solver for (extended) normal and disjunctive logic programs";
  24     homepage = "http://potassco.sourceforge.net/";
  25     platforms = platforms.all;
  26     maintainers = [ maintainers.hakuch ];
  27     license = licenses.gpl2Plus;
  28   };
  29 }