From b33da04f33c996246944f468dd037ceb994c4c21 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 10 Jan 2018 12:44:00 +0100
Subject: Add riscv and attributes to Clightgen

---
 exportclight/Clightgen.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'exportclight')

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
-- 
cgit