From 6e4c3d5009ad88c0e6ccd73fde42f9a9b6fa2b3f Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 9 May 2018 14:07:04 +0100
Subject: add SAIL_FLAGS env var to riscv makefile

---
 riscv/Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/riscv/Makefile b/riscv/Makefile
index 8695e42e..dc7a238d 100644
--- a/riscv/Makefile
+++ b/riscv/Makefile
@@ -6,16 +6,16 @@ export SAIL_DIR
 all: riscv Riscv.thy
 
 check: $(SAIL_SRCS) main.sail Makefile
-	$(SAIL_DIR)/sail $(SAIL_SRCS) main.sail
+	$(SAIL_DIR)/sail $(SAIL_FLAGS) $(SAIL_SRCS) main.sail
 
 riscv: $(SAIL_SRCS) main.sail Makefile
-	$(SAIL_DIR)/sail -ocaml -o riscv $(SAIL_SRCS) main.sail
+	$(SAIL_DIR)/sail $(SAIL_FLAGS) -ocaml -o riscv $(SAIL_SRCS) main.sail
 
 riscv_duopod_ocaml: prelude.sail riscv_duopod.sail
-	$(SAIL_DIR)/sail -ocaml -o $@ $^
+	$(SAIL_DIR)/sail $(SAIL_FLAGS) -ocaml -o $@ $^
 
 riscv_duopod.lem: prelude.sail riscv_duopod.sail
-	$(SAIL_DIR)/sail -lem -lem_mwords -lem_lib Riscv_extras -o riscv_duopod $^
+	$(SAIL_DIR)/sail $(SAIL_FLAGS) -lem -lem_mwords -lem_lib Riscv_extras -o riscv_duopod $^
 Riscv_duopod.thy: riscv_duopod.lem riscv_extras.lem
 	lem -isa -outdir . -lib ../src/lem_interp -lib ../src/gen_lib \
 		riscv_extras.lem \
@@ -32,7 +32,7 @@ Riscv.thy: riscv.lem riscv_extras.lem
 	sed -i 's/datatype ast/datatype (plugins only: size) ast/' Riscv_types.thy
 
 riscv.lem: $(SAIL_SRCS) Makefile
-	$(SAIL_DIR)/sail -lem -o riscv -lem_mwords -lem_lib Riscv_extras $(SAIL_SRCS)
+	$(SAIL_DIR)/sail $(SAIL_FLAGS) -lem -o riscv -lem_mwords -lem_lib Riscv_extras $(SAIL_SRCS)
 
 clean:
 	-rm -rf riscv _sbuild
-- 
cgit v1.2.3