Add Makefile for RISC-V

1 files changed, 24 insertions, 0 deletions

diff --git a/riscv/Makefile b/riscv/Makefile
new file mode 100644
index 00000000..fabaaafc
--- /dev/null
+++ b/riscv/Makefile
@@ -0,0 +1,24 @@
+SAIL_SRCS = prelude.sail riscv_types.sail riscv.sail
+SAIL_DIR ?= $(realpath ..)
+
+export SAIL_DIR
+
+all: riscv Riscv_embed_sequential.thy
+
+riscv: $(SAIL_SRCS) main.sail
+	$(SAIL_DIR)/sail -ocaml -o riscv $^
+
+Riscv_embed_sequential.thy: riscv_embed_sequential.lem riscv_extras_embed_sequential.lem
+	lem -isa -outdir . -lib ../src/lem_interp -lib ../src/gen_lib \
+		riscv_extras_embed_sequential.lem \
+		riscv_embed_types_sequential.lem \
+		riscv_embed_sequential.lem
+
+riscv_embed_sequential.lem: $(SAIL_SRCS)
+	$(SAIL_DIR)/sail -lem -o riscv -lem_sequential -lem_mwords -lem_lib Riscv_extras_embed $^
+
+clean:
+	-rm -rf riscv _sbuild
+	-rm -f riscv_embed_sequential.lem riscv_embed_types_sequential.lem
+	-rm -f Riscv_embed_sequential.thy Riscv_embed_types_sequential.thy \
+		Riscv_extras_embed_sequential.thy