diff options
| author | Prashanth Mundkur | 2018-04-23 18:22:27 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-04-23 18:22:27 -0700 |
| commit | 3e672a32d80669f9a6998f048b826df8ead9c911 (patch) | |
| tree | 23e29a5e3b498b9e312bec74c289d8ea9593ffa3 /riscv/Makefile | |
| parent | d9b187d734b8d6cc60684be1e6f658cc381514fe (diff) | |
Make riscv build depend on Makefile updates.
Diffstat (limited to 'riscv/Makefile')
| -rw-r--r-- | riscv/Makefile | 14 |
1 files 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 |