picat: disable format hardening

2016-05-31 12:57:28 +00:00 · 2016-05-31 12:57:28 +00:00 · e7be1168ba
commit e7be1168ba
parent 878e24b35a
1 changed files with 2 additions and 0 deletions
--- a/pkgs/development/compilers/picat/default.nix
+++ b/pkgs/development/compilers/picat/default.nix
@ -12,6 +12,8 @@ stdenv.mkDerivation {
         else if stdenv.system == "x86_64-linux" then "linux64"
         else throw "Unsupported system";

+  hardeningDisable = [ "format" ];
+
  buildPhase = ''
    cd emu
    make -f Makefile.picat.$ARCH