forked from mirrors/nixpkgs
pkgs/development/interpreters/maude: updated to version 2.5
svn path=/nixpkgs/trunk/; revision=23467
This commit is contained in:
parent
49c437a31e
commit
91f20b6289
|
@ -1,21 +1,16 @@
|
||||||
{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, makeWrapper }:
|
{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, makeWrapper }:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
name = "maude-2.4";
|
name = "maude-2.5";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "http://maude.cs.uiuc.edu/download/current/Maude-2.4.tar.gz";
|
url = "http://maude.cs.uiuc.edu/download/current/Maude-2.5.tar.gz";
|
||||||
sha256 = "0bydkf8fd5v267bfak4mm5lmm3vvnr6ir1jr7gimgyzqygdk0in2";
|
sha256 = "16bvnbyi257z87crzkw9gx2kz13482hnjnik22c2p2ml4rj4lpfw";
|
||||||
};
|
};
|
||||||
|
|
||||||
fullMaude = fetchurl {
|
fullMaude = fetchurl {
|
||||||
url = "http://maude.cs.uiuc.edu/download/current/FM2.4/full-maude24.maude";
|
url = "http://maude.cs.uiuc.edu/download/current/FM2.5/full-maude25.maude";
|
||||||
sha256 = "9e4ebdc717dc968d0b6c1179f360e60b3a39ea8cecc1a7fa49f2105bbddc48c4";
|
sha256 = "1d0izdbmhpifb2plnkk3cp7li2z60r8a8ppxhifmfpzi6x6pfvrd";
|
||||||
};
|
|
||||||
|
|
||||||
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 gmpxx libsigsegv makeWrapper];
|
buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper];
|
||||||
|
@ -29,18 +24,23 @@ stdenv.mkDerivation rec {
|
||||||
for n in $out/bin/*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
|
for n in $out/bin/*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
|
||||||
ensureDir $out/share/maude
|
ensureDir $out/share/maude
|
||||||
cp ${fullMaude} $out/share/maude/full-maude.maude
|
cp ${fullMaude} $out/share/maude/full-maude.maude
|
||||||
|
|
||||||
ensureDir $out/share/doc/maude
|
|
||||||
tar xf ${docs}
|
|
||||||
rm -f maude-2.3.0-extras/full-maude.maude
|
|
||||||
mv maude-2.3.0-extras/pdfs $out/share/doc/maude/pdf
|
|
||||||
mv maude-2.3.0-extras/* $out/share/doc/maude/
|
|
||||||
'';
|
'';
|
||||||
|
|
||||||
meta = {
|
meta = {
|
||||||
homepage = "http://maude.cs.uiuc.edu/";
|
homepage = "http://maude.cs.uiuc.edu/";
|
||||||
description = "Maude -- a high-level specification language";
|
description = "Maude -- a high-level specification language";
|
||||||
license = "GPLv2";
|
license = "GPLv2";
|
||||||
|
|
||||||
|
longDescription = ''
|
||||||
|
Maude is a high-performance reflective language and system
|
||||||
|
supporting both equational and rewriting logic specification and
|
||||||
|
programming for a wide range of applications. Maude has been
|
||||||
|
influenced in important ways by the OBJ3 language, which can be
|
||||||
|
regarded as an equational logic sublanguage. Besides supporting
|
||||||
|
equational specification and programming, Maude also supports
|
||||||
|
rewriting logic computation.
|
||||||
|
'';
|
||||||
|
|
||||||
platforms = stdenv.lib.platforms.all;
|
platforms = stdenv.lib.platforms.all;
|
||||||
maintainers = [ stdenv.lib.maintainers.simons ];
|
maintainers = [ stdenv.lib.maintainers.simons ];
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in a new issue