From 238c22f3b89ed9e9d6587c47b54b559a0b7f86eb Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 17 Apr 2017 13:35:42 +0100 Subject: [PATCH] Remove hardcoded PORTABLE_INT63 --- src/gen_rules.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/gen_rules.ml b/src/gen_rules.ml index b04e4d68..30bd4560 100644 --- a/src/gen_rules.ml +++ b/src/gen_rules.ml @@ -370,7 +370,6 @@ module Gen(P : Params) = struct ; "ocaml_version" , ctx.version ; "ocaml_where" , Path.to_string ctx.stdlib_dir ; "ARCH_SIXTYFOUR" , string_of_bool ctx.arch_sixtyfour - ; "PORTABLE_INT63" , "true" ; "MAKE" , make ; "null" , Path.to_string Config.dev_null ] |> String_map.of_alist