From b167a59affdb6428fa0656a092b335a3a6899d56 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 13 Dec 2018 16:20:48 +0000
Subject: Add hooks to call cgen stub file for RISC-V

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

(limited to 'riscv')

diff --git a/riscv/Makefile b/riscv/Makefile
index 82b838b9..52883c21 100644
--- a/riscv/Makefile
+++ b/riscv/Makefile
@@ -41,6 +41,12 @@ all: platform Riscv.thy
 check: $(SAIL_SRCS) main.sail Makefile
 	$(SAIL) $(SAIL_FLAGS) $(SAIL_SRCS) main.sail
 
+interpret: $(SAIL_SRCS)
+	$(SAIL) -i $(SAIL_FLAGS) $(SAIL_SRCS) main.sail
+
+cgen: $(SAIL_SRCS)
+	$(SAIL) -cgen $(SAIL_FLAGS) $(SAIL_SRCS) main.sail
+
 _sbuild/riscv.ml: $(SAIL_SRCS) Makefile main.sail
 	$(SAIL) $(SAIL_FLAGS) -ocaml -ocaml-nobuild -o riscv $(SAIL_SRCS)
 
-- 
cgit v1.2.3