diff options
author | Peter Simons <simons@cryp.to> | 2014-06-04 16:55:35 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2014-06-04 16:56:32 +0200 |
commit | 3ee3a5d387123d8ed39a04571d593986b0c9cb42 (patch) | |
tree | 68e7a1b7a78f09994565b6450a1d34ff6af5cec8 /pkgs/development/interpreters/maude/default.nix | |
parent | f0fc148e5ac62026aa330ac3fe865ad494f1b66b (diff) | |
download | nixlib-3ee3a5d387123d8ed39a04571d593986b0c9cb42.tar nixlib-3ee3a5d387123d8ed39a04571d593986b0c9cb42.tar.gz nixlib-3ee3a5d387123d8ed39a04571d593986b0c9cb42.tar.bz2 nixlib-3ee3a5d387123d8ed39a04571d593986b0c9cb42.tar.lz nixlib-3ee3a5d387123d8ed39a04571d593986b0c9cb42.tar.xz nixlib-3ee3a5d387123d8ed39a04571d593986b0c9cb42.tar.zst nixlib-3ee3a5d387123d8ed39a04571d593986b0c9cb42.zip |
maude: update full-maude to version 2.6.1h
Diffstat (limited to 'pkgs/development/interpreters/maude/default.nix')
-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 877d6b79e53b..65badeae1dde 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, unzip }: +{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, makeWrapper }: stdenv.mkDerivation rec { name = "maude-2.6"; @@ -9,8 +9,8 @@ stdenv.mkDerivation rec { }; fullMaude = fetchurl { - url = "http://maude.lcc.uma.es/FullMaude/FM261e/full-maude.maude.zip"; - sha256 = "0g0chfrzc7923sh17zdy731wpsgnwz7rxci0jqqmrphlshwzqm2h"; + url = "https://full-maude.googlecode.com/git/full-maude261h.maude"; + sha256 = "0xx8bfn6arsa75m5vhp5lmpazgfw230ssq33h9vifswlvzzc81ha"; }; 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 - ${unzip}/bin/unzip ${fullMaude} -d $out/share/maude + cp ${fullMaude} -d $out/share/maude/full-maude.maude ''; meta = { |