From 3e672a32d80669f9a6998f048b826df8ead9c911 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Mon, 23 Apr 2018 18:22:27 -0700
Subject: Make riscv build depend on Makefile updates.

---
 riscv/Makefile | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/riscv/Makefile b/riscv/Makefile
index 6c58a421..8695e42e 100644
--- a/riscv/Makefile
+++ b/riscv/Makefile
@@ -1,15 +1,15 @@
-SAIL_SRCS = prelude.sail riscv_types.sail riscv_mem.sail riscv_sys.sail riscv.sail
+SAIL_SRCS = prelude.sail riscv_types.sail riscv_mem.sail riscv_sys.sail riscv_vmem.sail riscv.sail
 SAIL_DIR ?= $(realpath ..)
 
 export SAIL_DIR
 
 all: riscv Riscv.thy
 
-check: $(SAIL_SRCS) main.sail
-	$(SAIL_DIR)/sail $^
+check: $(SAIL_SRCS) main.sail Makefile
+	$(SAIL_DIR)/sail $(SAIL_SRCS) main.sail
 
-riscv: $(SAIL_SRCS) main.sail
-	$(SAIL_DIR)/sail -ocaml -o riscv $^
+riscv: $(SAIL_SRCS) main.sail Makefile
+	$(SAIL_DIR)/sail -ocaml -o riscv $(SAIL_SRCS) main.sail
 
 riscv_duopod_ocaml: prelude.sail riscv_duopod.sail
 	$(SAIL_DIR)/sail -ocaml -o $@ $^
@@ -31,8 +31,8 @@ Riscv.thy: riscv.lem riscv_extras.lem
 		riscv.lem
 	sed -i 's/datatype ast/datatype (plugins only: size) ast/' Riscv_types.thy
 
-riscv.lem: $(SAIL_SRCS)
-	$(SAIL_DIR)/sail -lem -o riscv -lem_mwords -lem_lib Riscv_extras $^
+riscv.lem: $(SAIL_SRCS) Makefile
+	$(SAIL_DIR)/sail -lem -o riscv -lem_mwords -lem_lib Riscv_extras $(SAIL_SRCS)
 
 clean:
 	-rm -rf riscv _sbuild
-- 
cgit v1.2.3