diff options
author | Peter Simons <simons@cryp.to> | 2014-06-01 20:22:47 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2014-06-01 22:47:49 +0200 |
commit | 2f43cd3793fff581f7931e8b85bf3c92887f3761 (patch) | |
tree | 690b03c43941b64a8954a6887e9180a10d914aad /pkgs | |
parent | 6bc20ea278e0739d86903a38838dbdf3ba5d3305 (diff) | |
download | nixlib-2f43cd3793fff581f7931e8b85bf3c92887f3761.tar nixlib-2f43cd3793fff581f7931e8b85bf3c92887f3761.tar.gz nixlib-2f43cd3793fff581f7931e8b85bf3c92887f3761.tar.bz2 nixlib-2f43cd3793fff581f7931e8b85bf3c92887f3761.tar.lz nixlib-2f43cd3793fff581f7931e8b85bf3c92887f3761.tar.xz nixlib-2f43cd3793fff581f7931e8b85bf3c92887f3761.tar.zst nixlib-2f43cd3793fff581f7931e8b85bf3c92887f3761.zip |
maude: update full-maude to version 2.6.1e
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 23e2bc98ba44..877d6b79e53b 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, makeWrapper }: +{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, makeWrapper, unzip }: stdenv.mkDerivation rec { name = "maude-2.6"; @@ -9,8 +9,8 @@ stdenv.mkDerivation rec { }; fullMaude = fetchurl { - url = "http://maude.cs.uiuc.edu/download/current/FM2.6/full-maude26.maude"; - sha256 = "1382hjwwrsdgd5yjn3ph1b5i1bhrhzvqx0v369bmcjkly9k96v6q"; + url = "http://maude.lcc.uma.es/FullMaude/FM261e/full-maude.maude.zip"; + sha256 = "0g0chfrzc7923sh17zdy731wpsgnwz7rxci0jqqmrphlshwzqm2h"; }; buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper]; @@ -28,7 +28,7 @@ stdenv.mkDerivation rec { postInstall = '' for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done mkdir -p $out/share/maude - cp ${fullMaude} $out/share/maude/full-maude.maude + ${unzip}/bin/unzip ${fullMaude} -d $out/share/maude ''; meta = { |