JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

maude: disable CVC4 support to fix the build

Browse Source
This commit is contained in:
Peter Simons 2017-05-26 20:37:36 +02:00
parent b4a3216279
commit 8a11612d50
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/interpreters/maude/default.nix
View File

@ -1,5 +1,5 @@
{ stdenv, fetchurl, unzip, makeWrapper , flex, bison, ncurses, buddy, tecla { stdenv, fetchurl, unzip, makeWrapper , flex, bison, ncurses, buddy, tecla
, libsigsegv, gmpxx, cvc4, cln , libsigsegv, gmpxx, cln
}: }:
let let
@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
}; };
buildInputs = [ buildInputs = [
flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip cvc4 cln flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper unzip cln
]; ];
hardeningDisable = [ "stackprotector" ] ++ hardeningDisable = [ "stackprotector" ] ++
@ -34,6 +34,7 @@ stdenv.mkDerivation rec {
TECLA_LIBS="-ltecla -lncursesw" TECLA_LIBS="-ltecla -lncursesw"
LIBS="-lcln" LIBS="-lcln"
CFLAGS="-O3" CXXFLAGS="-O3" CFLAGS="-O3" CXXFLAGS="-O3"
--without-cvc4 # Our version is too new for Maude to cope.
) )
''; '';