diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-01-19 17:10:03 +0000 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-01-19 17:10:03 +0000 |
| commit | d348b996cfdd145b12431d416b0706e00e48f523 (patch) | |
| tree | f62f9a7640d8fdaae197c610f5a30d46ba551623 /pkgs/development/interpreters/maude | |
| parent | 231b016142c78b1be90a6e0757b0ed580b3c03bb (diff) | |
| download | nixpkgs-d348b996cfdd145b12431d416b0706e00e48f523.tar nixpkgs-d348b996cfdd145b12431d416b0706e00e48f523.tar.gz nixpkgs-d348b996cfdd145b12431d416b0706e00e48f523.tar.bz2 nixpkgs-d348b996cfdd145b12431d416b0706e00e48f523.tar.lz nixpkgs-d348b996cfdd145b12431d416b0706e00e48f523.tar.xz nixpkgs-d348b996cfdd145b12431d416b0706e00e48f523.tar.zst nixpkgs-d348b996cfdd145b12431d416b0706e00e48f523.zip | |
svn path=/nixpkgs/branches/stdenv-updates/; revision=19546
Diffstat (limited to 'pkgs/development/interpreters/maude')
| -rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index acd82e2b2e5..ccf0c53daec 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -2,26 +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 |