diff --git a/pkgs/development/interpreters/maude/unstable.nix b/pkgs/development/interpreters/maude/unstable.nix new file mode 100644 index 000000000000..8cf9535af617 --- /dev/null +++ b/pkgs/development/interpreters/maude/unstable.nix @@ -0,0 +1,30 @@ +{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, gmp }: + +stdenv.mkDerivation rec +{ + name = "maude-2.4-alpha-91"; + meta = + { + homepage = "http://maude.cs.uiuc.edu/"; + description = "Maude -- a high-level specification language"; + license = "GPLv2"; + }; + src = fetchurl + { + url = "http://www.csl.sri.com/users/eker/Maude/Alpha91/Maude-2.4.tar.gz"; + sha256 = "1nzxj8x1379nxsdvldqy55wl513hdi4xwf8i2bhngz7s8228vs37"; + }; + fullMaude = fetchurl + { + url = "http://www.lcc.uma.es/~duran/FullMaude/FM23j/full-maude.maude"; + sha256 = "2b069a351d39098d11e75dd9e5b772e0cf35843bf25f5dde45f6b700dd6445f4"; + }; + buildInputs = [flex bison ncurses buddy tecla gmp]; + configurePhase = ''./configure --disable-dependency-tracking --prefix=$out TECLA_LIBS="-ltecla -lncursesw" CFLAGS="-O3" CXXFLAGS="-O3"''; + doCheck = true; + postInstall = + '' + ensureDir $out/share/maude + cp src/Main/*.maude ${fullMaude} $out/share/maude/ + ''; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 1f55d0de963b..77cdfd9189a3 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -1838,6 +1838,10 @@ let pkgs = rec { inherit fetchurl stdenv flex bison ncurses buddy tecla gmp; }; + maudeUnstable = import ../development/interpreters/maude/unstable.nix { + inherit fetchurl stdenv flex bison ncurses buddy tecla gmp; + }; + octave = import ../development/interpreters/octave { inherit stdenv fetchurl readline ncurses perl flex; g77 = g77_42; @@ -1868,10 +1872,10 @@ let pkgs = rec { }; pltScheme = builderDefsPackage (import ../development/interpreters/plt-scheme) { - inherit cairo fontconfig freetype libjpeg libpng openssl + inherit cairo fontconfig freetype libjpeg libpng openssl perl mesa zlib which; - inherit (xorg) libX11 libXaw libXft libXrender libICE xproto - renderproto pixman libSM libxcb libXext xextproto libXmu + inherit (xorg) libX11 libXaw libXft libXrender libICE xproto + renderproto pixman libSM libxcb libXext xextproto libXmu libXt; } null;