diff options
| author | Jon French | 2018-05-09 14:07:04 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-09 14:07:04 +0100 |
| commit | 6e4c3d5009ad88c0e6ccd73fde42f9a9b6fa2b3f (patch) | |
| tree | c08fbb67c0b9f5128c9599aec100d09f7cc8b507 /riscv | |
| parent | 489b5c20063dd3250756b4ecd00f6b6d65f76632 (diff) | |
add SAIL_FLAGS env var to riscv makefile
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/Makefile | 10 |
1 files 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 |