b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #224455 from phantamanta44/maude-3.3

Browse source 
maude: 3.1 -> 3.3
This commit is contained in:
Peter Simons 2023-04-03 13:09:35 +02:00 committed by GitHub
parent a626f58adf 04124990ff
commit 493c7a2909
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
pkgs/development/interpreters/maude/default.nix
View file

@ -4,11 +4,11 @@
let
version = "3.1";
version = "3.3";
fullMaude = fetchurl {
url = "http://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-${version}.zip";
sha256 = "8b13af02c6243116c2ef9592622ecaa06d05dbe1dd6b1e595551ff33855948f2";
url = "https://maude.cs.illinois.edu/w/images/b/bc/Full-Maude-3.2.1.zip";
sha256 = "0751b3c4619283b3f0adf1c3aac113f1d4334a3ca859ed00d66de5f5857563ec";
};
in
@ -18,8 +18,8 @@ stdenv.mkDerivation {
inherit version;
src = fetchurl {
url = "http://maude.cs.illinois.edu/w/images/d/d3/Maude-${version}.tar.gz";
sha256 = "b112d7843f65217e3b5a9d40461698ef8dab7cbbe830af21216dfb924dc88a2f";
url = "https://github.com/SRI-CSL/Maude/archive/refs/tags/Maude${version}.tar.gz";
sha256 = "aebf21523ba7999b4594e315d49b92c5feaef7ca5d176e2e62a8ee1b901380c6";
};
nativeBuildInputs = [ flex bison unzip makeWrapper ];
@ -34,7 +34,10 @@ stdenv.mkDerivation {
# https://gitweb.gentoo.org/repo/gentoo.git/commit/dev-lang/maude/maude-3.1-r1.ebuild?id=f021cc6cfa1e35eb9c59955830f1fd89bfcb26b4
configureFlags = [ "--without-libsigsegv" ];
# Certain tests (in particular, Misc/fileTest) expect us to build in a subdirectory
# We'll use the directory Opt/ as suggested in INSTALL
preConfigure = ''
mkdir Opt; cd Opt
configureFlagsArray=(
--datadir="$out/share/maude"
TECLA_LIBS="-ltecla -lncursesw"
@ -42,13 +45,14 @@ stdenv.mkDerivation {
CFLAGS="-O3" CXXFLAGS="-O3"
)
'';
configureScript = "../configure";
doCheck = true;
postInstall = ''
for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
unzip ${fullMaude}
install -D -m 444 full-maude31.maude $out/share/maude/full-maude.maude
install -D -m 444 full-maude.maude $out/share/maude/full-maude.maude
'';
# bison -dv surface.yy -o surface.c