diff options
| author | Peter Simons <simons@cryp.to> | 2009-07-03 11:31:33 +0000 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2009-07-03 11:31:33 +0000 |
| commit | c713cfa0be981635fcfac32330540fa7f2a5b66a (patch) | |
| tree | 9024e7ef7f5a98477a3859be46f150b4a8ab7ee2 /pkgs/development/interpreters/maude | |
| parent | 17191aafca67a447fc843f2beb4728e211308f22 (diff) | |
Maude needs libgmpxx.
svn path=/nixpkgs/trunk/; revision=16159
Diffstat (limited to 'pkgs/development/interpreters/maude')
| -rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index d53c02b31f69b..acd82e2b2e5d0 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmp, makeWrapper }: +{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmpxx, makeWrapper }: stdenv.mkDerivation rec { name = "maude-2.4"; @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { url = "http://mirror.switch.ch/mirror/gentoo/distfiles/maude-2.3.0-extras.tar.bz2"; sha256 = "0kd5623k1wwj1rk4b6halrm3sdvd9kbiwg1hi2c3qim1nlfdgl0d"; }; - buildInputs = [flex bison ncurses buddy tecla gmp libsigsegv makeWrapper]; + 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 = |