diff options
| -rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 7632784463f..a977e0801a8 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -1,5 +1,5 @@ { stdenv, fetchurl, unzip, makeWrapper , flex, bison, ncurses, buddy, tecla -, libsigsegv, gmpxx, cvc4, cln +, libsigsegv, gmpxx, cln }: let @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { }; buildInputs = [ - flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip cvc4 cln + flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip cln ]; hardeningDisable = [ "stackprotector" ] ++ @@ -34,6 +34,7 @@ stdenv.mkDerivation rec { TECLA_LIBS="-ltecla -lncursesw" LIBS="-lcln" CFLAGS="-O3" CXXFLAGS="-O3" + --without-cvc4 # Our version is too new for Maude to cope. ) ''; |