diff options
| author | phantamanta44 <phanta@phanta.pl> | 2023-04-30 17:04:37 -0500 |
|---|---|---|
| committer | phantamanta44 <phanta@phanta.pl> | 2023-04-30 17:04:37 -0500 |
| commit | 9a8dd15a14ccecb4ca03005cc91cc681fde22f2c (patch) | |
| tree | 6aedfc1bac5c42e218f86c51b65e1e6e95bc3a29 | |
| parent | 9d27bdd3b5d88ec2c1674fd9b93cf6b6751776ff (diff) | |
| download | nixpkgs-9a8dd15a14ccecb4ca03005cc91cc681fde22f2c.tar nixpkgs-9a8dd15a14ccecb4ca03005cc91cc681fde22f2c.tar.gz nixpkgs-9a8dd15a14ccecb4ca03005cc91cc681fde22f2c.tar.bz2 nixpkgs-9a8dd15a14ccecb4ca03005cc91cc681fde22f2c.tar.lz nixpkgs-9a8dd15a14ccecb4ca03005cc91cc681fde22f2c.tar.xz nixpkgs-9a8dd15a14ccecb4ca03005cc91cc681fde22f2c.tar.zst nixpkgs-9a8dd15a14ccecb4ca03005cc91cc681fde22f2c.zip | |
maude: remove Full Maude from release
| -rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 23c2fed00c7..af012d811ed 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -3,14 +3,7 @@ }: let - version = "3.3.1"; - - fullMaude = fetchurl { - url = "https://maude.cs.illinois.edu/w/images/b/bc/Full-Maude-3.2.1.zip"; - sha256 = "0751b3c4619283b3f0adf1c3aac113f1d4334a3ca859ed00d66de5f5857563ec"; - }; - in stdenv.mkDerivation { @@ -51,8 +44,6 @@ stdenv.mkDerivation { postInstall = '' for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done - unzip ${fullMaude} - install -D -m 444 full-maude.maude $out/share/maude/full-maude.maude ''; enableParallelBuilding = true; |