diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2021-07-14 15:20:56 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-14 15:20:56 +0000 |
commit | 0b9a7ed217486cde4d66f147c8e8c7a6db1784a7 (patch) | |
tree | 16757918c514bbf401b5140f770db3d63e70b6db | |
parent | b141a58ff28c1b14fea9292dbcfe2a5af2da923c (diff) | |
parent | cdf9e86ad189569fcf59f938aeb08c7e7c7b7707 (diff) | |
download | nixpkgs-0b9a7ed217486cde4d66f147c8e8c7a6db1784a7.tar nixpkgs-0b9a7ed217486cde4d66f147c8e8c7a6db1784a7.tar.gz nixpkgs-0b9a7ed217486cde4d66f147c8e8c7a6db1784a7.tar.bz2 nixpkgs-0b9a7ed217486cde4d66f147c8e8c7a6db1784a7.tar.lz nixpkgs-0b9a7ed217486cde4d66f147c8e8c7a6db1784a7.tar.xz nixpkgs-0b9a7ed217486cde4d66f147c8e8c7a6db1784a7.tar.zst nixpkgs-0b9a7ed217486cde4d66f147c8e8c7a6db1784a7.zip |
Merge pull request #130191 from Stunkymonkey/leo3-phases
leo3-bin: deprecate phases
-rw-r--r-- | pkgs/applications/science/logic/leo3/binary.nix | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/pkgs/applications/science/logic/leo3/binary.nix b/pkgs/applications/science/logic/leo3/binary.nix index dda18c49b72..6196f644370 100644 --- a/pkgs/applications/science/logic/leo3/binary.nix +++ b/pkgs/applications/science/logic/leo3/binary.nix @@ -3,27 +3,26 @@ stdenv.mkDerivation rec { pname = "leo3"; version = "1.2"; - jar = fetchurl { + src = fetchurl { url = "https://github.com/leoprover/Leo-III/releases/download/v${version}/leo3.jar"; sha256 = "1lgwxbr1rnk72rnvc8raq5i1q71ckhn998pwd9xk6zf27wlzijk7"; }; - phases=["installPhase" "fixupPhase"]; + dontUnpack = true; installPhase = '' mkdir -p "$out"/{bin,lib/java/leo3} - cp "${jar}" "$out/lib/java/leo3/leo3.jar" + cp "${src}" "$out/lib/java/leo3/leo3.jar" echo "#!${runtimeShell}" > "$out/bin/leo3" echo "'${openjdk}/bin/java' -jar '$out/lib/java/leo3/leo3.jar' \"\$@\"" >> "$out/bin/leo3" chmod a+x "$out/bin/leo3" ''; - meta = { - inherit version; + meta = with lib; { description = "An automated theorem prover for classical higher-order logic with choice"; - license = lib.licenses.bsd3; - maintainers = [lib.maintainers.raskin]; - platforms = lib.platforms.linux; + license = licenses.bsd3; + maintainers = [maintainers.raskin]; + platforms = platforms.linux; homepage = "https://page.mi.fu-berlin.de/lex/leo3/"; }; } |