diff options
| author | Robert Norton | 2018-01-29 17:09:16 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-01-29 17:09:24 +0000 |
| commit | 15f43a1324fbb1edb0087b828e0fc6137e9de94a (patch) | |
| tree | b137a5b097b4b74fd575d67ff701c91beecb5c1d /riscv/Makefile | |
| parent | b62d7ea2b81b5fe4428b69cc1571703c76b98d27 (diff) | |
riscv: fix warnings about incomplete patterns. Add a check target in Makefile which is useful because ocaml generation currently produces some spurious warnings due to running type checker between rewritings.
Diffstat (limited to 'riscv/Makefile')
| -rw-r--r-- | riscv/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/riscv/Makefile b/riscv/Makefile index 00451f6f..7f52dde7 100644 --- a/riscv/Makefile +++ b/riscv/Makefile @@ -5,6 +5,9 @@ export SAIL_DIR all: riscv Riscv_embed_sequential.thy +check: $(SAIL_SRCS) main.sail + $(SAIL_DIR)/sail $^ + riscv: $(SAIL_SRCS) main.sail $(SAIL_DIR)/sail -ocaml -o riscv $^ |