From 2a5e64b69c83592caf900cb0b7213235e96368de Mon Sep 17 00:00:00 2001 From: Robin Gloster Date: Tue, 31 May 2016 12:58:10 +0000 Subject: [PATCH] maude: disable stackprotector hardening segfaults during tests --- pkgs/development/interpreters/maude/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 3473a11e819..e5281c48f93 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -15,6 +15,8 @@ stdenv.mkDerivation rec { buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper]; + hardeningDisable = [ "stackprotector" ]; + preConfigure = '' configureFlagsArray=( --datadir=$out/share/maude