···

       
3
       
3
       
 
       
  pname = "leo3";

     

       
4
       
4
       
 
       
  version = "1.2";

     

       
5
       
5
       
 
       


     

       
6
       
6
       
-
       
  jar = fetchurl {

     

       
6
       
6
       
+
       
  src = fetchurl {

     

       
7
       
7
       
 
       
    url = "https://github.com/leoprover/Leo-III/releases/download/v${version}/leo3.jar";

     

       
8
       
8
       
 
       
    sha256 = "1lgwxbr1rnk72rnvc8raq5i1q71ckhn998pwd9xk6zf27wlzijk7";

     

       
9
       
9
       
 
       
  };

     

       
10
       
10
       
 
       


     

       
11
       
11
       
-
       
  phases=["installPhase" "fixupPhase"];

     

       
11
       
11
       
+
       
  dontUnpack = true;

     

       
12
       
12
       
 
       


     

       
13
       
13
       
 
       
  installPhase = ''

     

       
14
       
14
       
 
       
    mkdir -p "$out"/{bin,lib/java/leo3}

     

       
15
       
15
       
-
       
    cp "${jar}" "$out/lib/java/leo3/leo3.jar"

     

       
15
       
15
       
+
       
    cp "${src}" "$out/lib/java/leo3/leo3.jar"

     

       
16
       
16
       
 
       
    echo "#!${runtimeShell}" > "$out/bin/leo3"

     

       
17
       
17
       
 
       
    echo "'${openjdk}/bin/java' -jar '$out/lib/java/leo3/leo3.jar' \"\$@\""  >> "$out/bin/leo3"

     

       
18
       
18
       
 
       
    chmod a+x "$out/bin/leo3"

     

       
19
       
19
       
 
       
  '';

     

       
20
       
20
       
 
       


     

       
21
       
21
       
-
       
  meta = {

     

       
22
       
22
       
-
       
    inherit version;

     

       
21
       
21
       
+
       
  meta = with lib; {

     

       
23
       
22
       
 
       
    description = "An automated theorem prover for classical higher-order logic with choice";

     

       
24
       
24
       
-
       
    license = lib.licenses.bsd3;

     

       
25
       
25
       
-
       
    maintainers = [lib.maintainers.raskin];

     

       
26
       
26
       
-
       
    platforms = lib.platforms.linux;

     

       
23
       
23
       
+
       
    license = licenses.bsd3;

     

       
24
       
24
       
+
       
    maintainers = [maintainers.raskin];

     

       
25
       
25
       
+
       
    platforms = platforms.linux;

     

       
27
       
26
       
 
       
    homepage = "https://page.mi.fu-berlin.de/lex/leo3/";

     

       
28
       
27
       
 
       
  };

     

       
29
       
28
       
 
       
}