From d520510710146fba42d5e545315a98363f121758 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 23 Feb 2014 15:03:00 +0000
Subject: Update clightgen for CompCert 2.2.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2417 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 exportclight/Clightgen.ml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'exportclight/Clightgen.ml')

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
-- 
cgit v1.2.3