ltl2ba: turn off format hardening
This commit is contained in:
parent
4b82ba013d
commit
321c57d69e
|
@ -9,6 +9,8 @@ stdenv.mkDerivation rec {
|
|||
sha256 = "16z0gc7a9dkarwn0l6rvg5jdhw1q4qyn4501zlchy0zxqddz0sx6";
|
||||
};
|
||||
|
||||
hardening_format = false;
|
||||
|
||||
installPhase = ''
|
||||
mkdir -p $out/bin
|
||||
mv ltl2ba $out/bin
|
||||
|
|
Loading…
Reference in New Issue