From 705ce9aa335f221267b6c8f005b2037b45a6dbe9 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Tue, 10 Jul 2018 10:53:35 -0700
Subject: Start adding c-backend bits for riscv.

---
 riscv/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/riscv/Makefile b/riscv/Makefile
index 9633f0d4..4a396048 100644
--- a/riscv/Makefile
+++ b/riscv/Makefile
@@ -32,6 +32,9 @@ coverage: _sbuild/coverage.native
 	mkdir bisect && mv bisect*.out bisect/
 	mkdir coverage && bisect-ppx-report -html coverage/ -I _sbuild/ bisect/bisect*.out
 
+riscv.c: $(SAIL_SRCS) Makefile
+	$(SAIL) -O -memo_z3 -c $(SAIL_SRCS) 1> $@
+
 tracecmp: tracecmp.ml
 	ocamlfind ocamlopt -annot -linkpkg -package unix $^ -o $@
 
-- 
cgit v1.2.3