···

       
1
       
-
       
{ stdenv, fetchurl }:

     

       
2
       
 
       


     

       
3
       
 
       
let

     

       
4
       
 
       
  baseVersion="3";

     

       
5
       
-
       
  minorVersion="7";

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
6
       
 
       
in

     

       
7
       
 
       


     

       
8
       
 
       
stdenv.mkDerivation rec {

     
···

       
11
       
 
       


     

       
12
       
 
       
  src = fetchurl {

     

       
13
       
 
       
    url = "http://www.spass-prover.org/download/sources/spass${baseVersion}${minorVersion}.tgz";

     

       
14
       
-
       
    sha256 = "1k5a98kr3vzga54zs7slwwaaf6v6agk1yfcayd8bl55q15g7xihk";

     

       
15
       
 
       
  };

     

       
16
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
17
       
 
       
  meta = with stdenv.lib; {

     

       
18
       
-
       
    description = "An automated theorem preover for FOL";

     

       
19
       
 
       
    maintainers = with maintainers;

     

       
20
       
 
       
    [

     

       
21
       
 
       
      raskin

     

       
22
       
 
       
    ];

     

       
23
       
-
       
    platforms = platforms.linux;

     

       
24
       
 
       
    license = licenses.bsd2;

     

       
25
       
 
       
    downloadPage = "http://www.spass-prover.org/download/index.html";

     

       
26
       
 
       
  };

     

···

       
1
       
+
       
{ stdenv, fetchurl, bison, flex }:

     

       
2
       
 
       


     

       
3
       
 
       
let

     

       
4
       
 
       
  baseVersion="3";

     

       
5
       
+
       
  minorVersion="9";

     

       
6
       
+
       


     

       
7
       
+
       
  extraTools = "FLOTTER prolog2dfg dfg2otter dfg2dimacs dfg2tptp"

     

       
8
       
+
       
    + " dfg2ascii dfg2dfg tptp2dfg dimacs2dfg pgen rescmp";

     

       
9
       
 
       
in

     

       
10
       
 
       


     

       
11
       
 
       
stdenv.mkDerivation rec {

     
···

       
14
       
 
       


     

       
15
       
 
       
  src = fetchurl {

     

       
16
       
 
       
    url = "http://www.spass-prover.org/download/sources/spass${baseVersion}${minorVersion}.tgz";

     

       
17
       
+
       
    sha256 = "11cyn3kcff4r79rsw2s0xm6rdb8bi0kpkazv2b48jhcms7xw75qp";

     

       
18
       
 
       
  };

     

       
19
       
 
       


     

       
20
       
+
       
  sourceRoot = ".";

     

       
21
       
+
       


     

       
22
       
+
       
  nativeBuildInputs = [ bison flex ];

     

       
23
       
+
       


     

       
24
       
+
       
  buildPhase = ''

     

       
25
       
+
       
    make RM="rm -f" proparser.c ${extraTools} opt

     

       
26
       
+
       
  '';

     

       
27
       
+
       
  installPhase = ''

     

       
28
       
+
       
    mkdir -p $out/bin

     

       
29
       
+
       
    install -m0755 SPASS ${extraTools} $out/bin/

     

       
30
       
+
       
  '';

     

       
31
       
+
       


     

       
32
       
 
       
  meta = with stdenv.lib; {

     

       
33
       
+
       
    description = "Automated theorem prover for first-order logic";

     

       
34
       
 
       
    maintainers = with maintainers;

     

       
35
       
 
       
    [

     

       
36
       
 
       
      raskin

     

       
37
       
 
       
    ];

     

       
38
       
+
       
    platforms = platforms.unix;

     

       
39
       
 
       
    license = licenses.bsd2;

     

       
40
       
 
       
    downloadPage = "http://www.spass-prover.org/download/index.html";

     

       
41
       
 
       
  };