1 files changed, 3 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml
index a91bb67c..310e4209 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -461,6 +461,9 @@ 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;