pkgs/applications/science/logic/leo3/binary.nix

   1 {lib, stdenv, fetchurl, openjdk, runtimeShell}:
   2 stdenv.mkDerivation rec {
   3   pname = "leo3";
   4   version = "1.2";
   5
   6   src = fetchurl {
   7     url = "https://github.com/leoprover/Leo-III/releases/download/v${version}/leo3.jar";
   8     sha256 = "1lgwxbr1rnk72rnvc8raq5i1q71ckhn998pwd9xk6zf27wlzijk7";
   9   };
  10
  11   dontUnpack = true;
  12
  13   installPhase = ''
  14     mkdir -p "$out"/{bin,lib/java/leo3}
  15     cp "${src}" "$out/lib/java/leo3/leo3.jar"
  16     echo "#!${runtimeShell}" > "$out/bin/leo3"
  17     echo "'${openjdk}/bin/java' -jar '$out/lib/java/leo3/leo3.jar' \"\$@\""  >> "$out/bin/leo3"
  18     chmod a+x "$out/bin/leo3"
  19   '';
  20
  21   meta = with lib; {
  22     description = "Automated theorem prover for classical higher-order logic with choice";
  23     mainProgram = "leo3";
  24     sourceProvenance = with sourceTypes; [ binaryBytecode ];
  25     license = licenses.bsd3;
  26     maintainers = [maintainers.raskin];
  27     platforms = platforms.linux;
  28     homepage = "https://page.mi.fu-berlin.de/lex/leo3/";
  29   };
  30 }