diff options
Diffstat (limited to 'exportclight/Clightgen.ml')
-rw-r--r-- | exportclight/Clightgen.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/exportclight/Clightgen.ml b/exportclight/Clightgen.ml index 82d6944..53eb96f 100644 --- a/exportclight/Clightgen.ml +++ b/exportclight/Clightgen.ml @@ -270,7 +270,11 @@ let cmdline_actions = @ f_opt "packed-structs" option_fpacked_structs let _ = - Gc.set { (Gc.get()) with Gc.minor_heap_size = 524288 }; + Gc.set { (Gc.get()) with + Gc.minor_heap_size = 524288; (* 512k *) + Gc.major_heap_increment = 4194304 (* 4M *) + }; + Printexc.record_backtrace true; Machine.config := begin match Configuration.arch with | "powerpc" -> Machine.ppc_32_bigendian @@ -278,6 +282,6 @@ let _ = | "ia32" -> Machine.x86_32 | _ -> assert false end; - Builtins.set C2C.builtins_generic; + Builtins.set C2C.builtins; CPragmas.initialize(); parse_cmdline cmdline_actions usage_string |