diff options
author | Robin Gloster <mail@glob.in> | 2016-05-31 12:58:10 +0000 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2016-05-31 12:58:10 +0000 |
commit | 2a5e64b69c83592caf900cb0b7213235e96368de (patch) | |
tree | 45ebdd34a35684da75b9911a136dade37815deb0 /pkgs/development/interpreters/maude | |
parent | 8f1e9d91bebe456beb31484eb9c76a21b8ccf906 (diff) |
maude: disable stackprotector hardening
segfaults during tests
Diffstat (limited to 'pkgs/development/interpreters/maude')
-rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 3473a11e8198d..e5281c48f93ee 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 |