RISC-V in HOL4

1 files changed, 9 insertions, 0 deletions

diff --git a/riscv/Makefile b/riscv/Makefile
index 781ec354..7173f24d 100644
--- a/riscv/Makefile
+++ b/riscv/Makefile
@@ -34,6 +34,15 @@ Riscv.thy: riscv.lem riscv_extras.lem
 riscv.lem: $(SAIL_SRCS) Makefile
 	$(SAIL_DIR)/sail -lem -o riscv -lem_mwords -lem_lib Riscv_extras $(SAIL_SRCS)
 
+riscv_sequential.lem: $(SAIL_SRCS) Makefile
+	$(SAIL_DIR)/sail -lem -lem_sequential -o riscv_sequential -lem_mwords -lem_lib Riscv_extras_sequential $(SAIL_SRCS)
+
+riscv_sequentialScript.sml : riscv_sequential.lem riscv_extras_sequential.lem
+	lem -hol -outdir . -lib ../lib/hol -lib ../src/lem_interp -lib ../src/gen_lib \
+		riscv_extras_sequential.lem \
+		riscv_sequential_types.lem \
+		riscv_sequential.lem
+
 clean:
 	-rm -rf riscv _sbuild
 	-rm -f riscv.lem riscv_types.lem