Merge branch 'sail2' into mappings

(involved some manual tinkering with gitignore, type_check, riscv)

1 files changed, 24 insertions, 0 deletions

diff --git a/lib/coq/Makefile b/lib/coq/Makefile
new file mode 100644
index 00000000..d974b692
--- /dev/null
+++ b/lib/coq/Makefile
@@ -0,0 +1,24 @@
+BBV_DIR=../../../bbv
+
+SRC=Prompt_monad.v  Prompt.v  Sail_impl_base.v  Sail_instr_kinds.v  Sail_operators_bitlists.v  Sail_operators_mwords.v  Sail_operators.v  Sail_values.v  State_monad.v  State.v
+
+COQ_LIBS = -R . Sail -R "$(BBV_DIR)" bbv
+
+TARGETS=$(SRC:.v=.vo)
+
+.PHONY: all clean *.ide
+
+all: $(TARGETS)
+clean:
+	rm -f -- $(TARGETS) $(TARGETS:.vo=.glob) $(TARGETS:%.vo=.%.aux) deps
+
+%.vo: %.v
+	coqc $(COQ_LIBS) $<
+
+%.ide: %.v
+	coqide $(COQ_LIBS) $<
+
+deps: $(SRC)
+	coqdep $(COQ_LIBS) $(SRC) > deps
+
+-include deps