BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

pkgs/development/interpreters/maude: added myself as a maintainer

Browse source 
svn path=/nixpkgs/trunk/; revision=21029
This commit is contained in:
Peter Simons 2010-04-12 11:21:42 +00:00
parent 425d964e7d
commit 774a276ff3
1 changed files with 10 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
pkgs/development/interpreters/maude/default.nix
View file

@ -2,34 +2,34 @@
stdenv.mkDerivation rec {
name = "maude-2.4";
meta = {
homepage = "http://maude.cs.uiuc.edu/";
description = "Maude -- a high-level specification language";
license = "GPLv2";
};
src = fetchurl {
url = "http://maude.cs.uiuc.edu/download/current/Maude-2.4.tar.gz";
sha256 = "0bydkf8fd5v267bfak4mm5lmm3vvnr6ir1jr7gimgyzqygdk0in2";
};
fullMaude = fetchurl {
url = "http://maude.cs.uiuc.edu/download/current/FM2.4/full-maude24.maude";
sha256 = "9e4ebdc717dc968d0b6c1179f360e60b3a39ea8cecc1a7fa49f2105bbddc48c4";
};
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];
configurePhase = ''./configure --disable-dependency-tracking --prefix=$out --datadir=$out/share/maude TECLA_LIBS="-ltecla -lncursesw" CFLAGS="-O3" CXXFLAGS="-O3"'';
doCheck = true;
postInstall =
''
for n in $out/bin/*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
@ -42,4 +42,6 @@ stdenv.mkDerivation rec {
mv maude-2.3.0-extras/pdfs $out/share/doc/maude/pdf
mv maude-2.3.0-extras/* $out/share/doc/maude/
'';
maintainers = [ stdenv.lib.maintainers.simons ];
}