souffle: work around hardening bug on linux

2016-09-06 23:11:27 +00:00 · 2016-09-06 23:11:27 +00:00 · 9a05352488
commit 9a05352488
parent b78e625445
1 changed files with 3 additions and 0 deletions
--- a/pkgs/development/compilers/souffle/default.nix
+++ b/pkgs/development/compilers/souffle/default.nix
@ -31,6 +31,9 @@ stdenv.mkDerivation rec {

  enableParallelBuilding = true;

+  # See https://github.com/souffle-lang/souffle/issues/176
+  hardeningDisable = [ "fortify" ];
+
  meta = with stdenv.lib; {
    description = "A translator of declarative Datalog programs into the C++ language";
    homepage    = "http://souffle-lang.github.io/";