about summary refs log tree commit diff
path: root/pkgs/development
diff options
context:
space:
mode:
authorPeter Simons <simons@cryp.to>2010-04-12 11:21:42 +0000
committerPeter Simons <simons@cryp.to>2010-04-12 11:21:42 +0000
commit774a276ff3d9c0957db4ac7e6b00ee4852c1537f (patch)
treef3c799840446acb13d95762e92b1e2e1a3efa613 /pkgs/development
parent425d964e7d7281b62139983e9962e0c5816402dd (diff)
downloadnixlib-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/development')
-rw-r--r--pkgs/development/interpreters/maude/default.nix18
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 ];
 }