diff options
author | Peter Simons <simons@cryp.to> | 2008-10-09 10:10:49 +0000 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2008-10-09 10:10:49 +0000 |
commit | f1328839d414f438cf551e1cece9888c2029d5b1 (patch) | |
tree | a9cce08624c49aa26319fb695ed198e0a1e00091 /pkgs/development/interpreters/maude | |
parent | 839be39796376e7a97138ede3d8cdc96a5563980 (diff) |
maudeUnstable: updated full-maude to latest alpha release
svn path=/nixpkgs/trunk/; revision=13017
Diffstat (limited to 'pkgs/development/interpreters/maude')
-rw-r--r-- | pkgs/development/interpreters/maude/unstable.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/development/interpreters/maude/unstable.nix b/pkgs/development/interpreters/maude/unstable.nix index 8e351a7954bcc..43bfc08fe178e 100644 --- a/pkgs/development/interpreters/maude/unstable.nix +++ b/pkgs/development/interpreters/maude/unstable.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmp }: +{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmp, unzip }: stdenv.mkDerivation rec { name = "maude-2.4-alpha-91c"; @@ -12,21 +12,22 @@ stdenv.mkDerivation rec { sha256 = "0z25rrmg1b317xba2aqir5719js2ig3k20n1pvq3qvlzg51b6wp1"; }; fullMaude = fetchurl { - url = "http://www.lcc.uma.es/~duran/FullMaude/FM23j/full-maude.maude"; - sha256 = "1x25ckfh1dzn8pg5spzj7f23bkz0favybnaxww8qs29r3lsrl1ib"; + url = "http://www.lcc.uma.es/~duran/FullMaude/FM23l/full-maude.maude.zip"; + sha256 = "08m54dskj2c6x00a5l5x1my88na4x8wmm048g0srsknhv5j91lf2"; }; docs = fetchurl { url = "http://mirror.switch.ch/mirror/gentoo/distfiles/maude-2.3.0-extras.tar.bz2"; sha256 = "0kd5623k1wwj1rk4b6halrm3sdvd9kbiwg1hi2c3qim1nlfdgl0d"; }; - buildInputs = [flex bison ncurses buddy tecla gmp libsigsegv]; + buildInputs = [flex bison unzip ncurses buddy tecla gmp libsigsegv]; configurePhase = ''./configure --disable-dependency-tracking --prefix=$out TECLA_LIBS="-ltecla -lncursesw" CFLAGS="-O3" CXXFLAGS="-O3"''; doCheck = true; postInstall = '' ensureDir $out/share/maude cp src/Main/*.maude $out/share/maude/ - cp ${fullMaude} $out/share/maude/full-maude.maude + unzip -aa ${fullMaude} + mv full-maude.maude $out/share/maude/full-maude.maude ensureDir $out/share/doc/maude tar xf ${docs} |