1 files changed, 1 insertions, 20 deletions
diff --git a/exportclight/Clightgen.ml b/exportclight/Clightgen.ml
index 9bac7a60..432346a5 100644
--- a/exportclight/Clightgen.ml
+++ b/exportclight/Clightgen.ml
@@ -206,26 +206,7 @@ let _ =
               Gc.major_heap_increment = 4194304 (* 4M *)
          };
   Printexc.record_backtrace true;
-  Machine.config :=
-    begin match Configuration.arch with
-    | "powerpc" -> Machine.ppc_32_bigendian
-    | "arm"     -> if Configuration.is_big_endian
-                   then Machine.arm_bigendian
-                   else Machine.arm_littleendian
-    | "x86"     -> if Configuration.model = "64" then
-                     Machine.x86_64
-                   else
-                     if Configuration.abi = "macosx"
-                     then Machine.x86_32_macosx
-                     else Machine.x86_32
-    | "riscV"   -> if Configuration.model = "64"
-                   then Machine.rv64
-                   else Machine.rv32
-    | _         -> assert false
-    end;
-  Builtins.set C2C.builtins;
-  Cutil.declare_attributes C2C.attributes;
-  CPragmas.initialize();
+  Frontend.init ();
   parse_cmdline cmdline_actions;
   if !option_o <> None && !num_input_files >= 2 then begin
     eprintf "Ambiguous '-o' option (multiple source files)\n";