Merge pull request #229198 from phantamanta44/maude-3.3.1

maude: remove Full Maude
2023-05-01 07:31:06 +02:00
parent bef58be11e 9a8dd15a14
commit c04f38641d
1 changed files with 0 additions and 9 deletions
@@ -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;