diff options
| author | Dan Peebles <pumpkin@me.com> | 2016-09-06 23:11:27 +0000 |
|---|---|---|
| committer | Dan Peebles <pumpkin@me.com> | 2016-09-06 23:11:33 +0000 |
| commit | 9a0535248891e8104f53a7098241900eff8beb3f (patch) | |
| tree | 53000f25bb7fdf094361c7c97b16f266610be30f /pkgs/development/compilers/souffle | |
| parent | b78e625445a42b8268ef35aa671d8e8bc53fb501 (diff) | |
souffle: work around hardening bug on linux
Diffstat (limited to 'pkgs/development/compilers/souffle')
| -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 68353e6a5d472..217b2aecd334c 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/"; |