diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-02-23 15:03:00 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2014-02-23 15:03:00 +0000 |
commit | d520510710146fba42d5e545315a98363f121758 (patch) | |
tree | 2a41f0e430d746e9aed2ac66b03ea74ad9e4713a /exportclight/Clightgen.ml | |
parent | 11db3838a8cbfd09ecca368e87305054832a4719 (diff) |
Update clightgen for CompCert 2.2.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2417 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
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 |