diff options
author | Peter Simons <simons@cryp.to> | 2017-05-26 20:37:36 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2017-05-26 20:37:36 +0200 |
commit | 8a11612d502d8578d7828e21778dcf3391084095 (patch) | |
tree | 2dc0858d65d560529d224ffa922289802d5f7046 /pkgs/development/interpreters/maude | |
parent | b4a3216279c807e7cbfb1221b1e883ecfae354d4 (diff) |
maude: disable CVC4 support to fix the build
Diffstat (limited to 'pkgs/development/interpreters/maude')
-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 7632784463fa..a977e0801a8f 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. ) ''; |