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