diff options
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/compilers/souffle/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/compilers/souffle/default.nix b/pkgs/development/compilers/souffle/default.nix index 68353e6a5d47..217b2aecd334 100644 --- 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/"; |