diff options
Diffstat (limited to 'riscv/Makefile')
| -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 |