diff options
| -rw-r--r-- | exportclight/Clightgen.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/exportclight/Clightgen.ml b/exportclight/Clightgen.ml index 05ece5de..76040b18 100644 --- a/exportclight/Clightgen.ml +++ b/exportclight/Clightgen.ml @@ -185,8 +185,12 @@ let _ = 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(); parse_cmdline cmdline_actions |