From 6619c68e0a1db9d0cf2b82c6fe2e3ca8c4359f06 Mon Sep 17 00:00:00 2001
From: Robin Gloster <mail@glob.in>
Date: Thu, 25 Feb 2016 02:20:27 +0000
Subject: [PATCH] teylus: disable format hardening

---
 pkgs/development/compilers/teyjus/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/development/compilers/teyjus/default.nix b/pkgs/development/compilers/teyjus/default.nix
index b16b32a6a06..1e63b2d2be0 100644
--- a/pkgs/development/compilers/teyjus/default.nix
+++ b/pkgs/development/compilers/teyjus/default.nix
@@ -12,6 +12,8 @@ stdenv.mkDerivation {
 
   buildInputs = [ omake ocaml flex bison ];
 
+  hardening_format = false;
+
   buildPhase = "omake all";
 
   checkPhase = "omake check";