diff options
author | Peter Simons <simons@cryp.to> | 2010-04-12 11:21:42 +0000 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2010-04-12 11:21:42 +0000 |
commit | 774a276ff3d9c0957db4ac7e6b00ee4852c1537f (patch) | |
tree | f3c799840446acb13d95762e92b1e2e1a3efa613 /pkgs | |
parent | 425d964e7d7281b62139983e9962e0c5816402dd (diff) | |
download | nixlib-774a276ff3d9c0957db4ac7e6b00ee4852c1537f.tar nixlib-774a276ff3d9c0957db4ac7e6b00ee4852c1537f.tar.gz nixlib-774a276ff3d9c0957db4ac7e6b00ee4852c1537f.tar.bz2 nixlib-774a276ff3d9c0957db4ac7e6b00ee4852c1537f.tar.lz nixlib-774a276ff3d9c0957db4ac7e6b00ee4852c1537f.tar.xz nixlib-774a276ff3d9c0957db4ac7e6b00ee4852c1537f.tar.zst nixlib-774a276ff3d9c0957db4ac7e6b00ee4852c1537f.zip |
pkgs/development/interpreters/maude: added myself as a maintainer
svn path=/nixpkgs/trunk/; revision=21029
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index ccf0c53daec3..c41c17c6e3c1 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -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 ]; } |