@@ -1,14 +1,14 @@
1−{ stdenv, fetchurl, unzip, makeWrapper
2−, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx,
1+{ stdenv, fetchurl, unzip, makeWrapper , flex, bison, ncurses, buddy, tecla
2+, libsigsegv, gmpxx, cvc4, cln
33}:
44
55let
66
7− version = "2.7";
7+ version = "2.7.1";
88
99 fullMaude = fetchurl {
10− url = "https://raw.githubusercontent.com/maude-team/full-maude/master/full-maude27c.maude";
11− sha256 = "08bg3gn1vyjy5k69hnynpzc9s1hnrbkyv6z08y1h2j37rlc4c18y";
10+ url = "http://maude.cs.illinois.edu/w/images/c/ca/Full-Maude-${version}.zip";
11+ sha256 = "0y4gn7n8vh24r24vckhpkd46hb5hqsbrm4w9zr6dz4paafq12fjc";
1212 };
1313
1414in
@@ -17,11 +17,13 @@ stdenv.mkDerivation rec {
1717 name = "maude-${version}";
1818
1919 src = fetchurl {
20− url = "https://github.com/maude-team/maude/archive/v${version}-ext-hooks.tar.gz";
21− sha256 = "02p0snxm69rs8pvm93r91p881dw6p3bxmazr3cfw5pnxpgz0vjl0";
20+ url = "http://maude.cs.illinois.edu/w/images/d/d8/Maude-${version}.tar.gz";
21+ sha256 = "0jskn5dm8vvbd3mlryjxdb6wfpkvyx174wk7ci9a31aylxzpr25i";
2222 };
2323
24− buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip];
24+ buildInputs = [
25+ flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip cvc4 cln
26+ ];
2527
2628 hardeningDisable = [ "stackprotector" ] ++
2729 stdenv.lib.optionals stdenv.isi686 [ "pic" "fortify" ];
@@ -30,6 +32,7 @@ stdenv.mkDerivation rec {
3032 configureFlagsArray=(
3133 --datadir="$out/share/maude"
3234 TECLA_LIBS="-ltecla -lncursesw"
35+ LIBS="-lcln"
3336 CFLAGS="-O3" CXXFLAGS="-O3"
3437 )
3538 '';
@@ -38,11 +41,12 @@ stdenv.mkDerivation rec {
3841
3942 postInstall = ''
4043 for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
41− install -D -m 444 ${fullMaude} $out/share/maude/full-maude.maude
44+ unzip ${fullMaude}
45+ install -D -m 444 full-maude.maude $out/share/maude/full-maude.maude
4246 '';
4347
4448 meta = {
45− homepage = "http://maude.cs.uiuc.edu/";
49+ homepage = "http://maude.cs.illinois.edu/";
4650 description = "High-level specification language";
4751 license = stdenv.lib.licenses.gpl2;
4852