JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

maude: update full-maude to version 2.6.1h

Browse Source
This commit is contained in:
Peter Simons 2014-06-04 16:55:35 +02:00
parent f0fc148e5a
commit 3ee3a5d387
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/interpreters/maude/default.nix
View File

@ -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 = {