diff options
author | Felix Buehler <account@buehler.rocks> | 2021-07-14 16:38:38 +0200 |
---|---|---|
committer | Felix Buehler <account@buehler.rocks> | 2021-07-14 16:38:38 +0200 |
commit | cdf9e86ad189569fcf59f938aeb08c7e7c7b7707 (patch) | |
tree | 4b9e35edfc462fa66b119680f7932e9ef9af8497 /pkgs/applications/science/logic/leo3 | |
parent | 9b4f7584f334a637e5c95f8f60d2256223ad5908 (diff) | |
download | nixpkgs-cdf9e86ad189569fcf59f938aeb08c7e7c7b7707.tar nixpkgs-cdf9e86ad189569fcf59f938aeb08c7e7c7b7707.tar.gz nixpkgs-cdf9e86ad189569fcf59f938aeb08c7e7c7b7707.tar.bz2 nixpkgs-cdf9e86ad189569fcf59f938aeb08c7e7c7b7707.tar.lz nixpkgs-cdf9e86ad189569fcf59f938aeb08c7e7c7b7707.tar.xz nixpkgs-cdf9e86ad189569fcf59f938aeb08c7e7c7b7707.tar.zst nixpkgs-cdf9e86ad189569fcf59f938aeb08c7e7c7b7707.zip |
leo3-bin: deprecate phases
Diffstat (limited to 'pkgs/applications/science/logic/leo3')
-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/"; }; } |