diff options
author | Robin Gloster <mail@glob.in> | 2016-02-25 02:20:27 +0000 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2016-02-25 02:20:27 +0000 |
commit | 6619c68e0a1db9d0cf2b82c6fe2e3ca8c4359f06 (patch) | |
tree | 66c5f63397b3e55958dcf7ccd905889c28b7dfb7 /pkgs/development/compilers/teyjus | |
parent | 7561c1c9e7352688f7541e88547293599efcd533 (diff) |
teylus: disable format hardening
Diffstat (limited to 'pkgs/development/compilers/teyjus')
-rw-r--r-- | pkgs/development/compilers/teyjus/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/compilers/teyjus/default.nix b/pkgs/development/compilers/teyjus/default.nix index b16b32a6a0620..1e63b2d2be0be 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"; |