diff options
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/riscv/Makefile b/riscv/Makefile index 82b838b9..52883c21 100644 --- a/riscv/Makefile +++ b/riscv/Makefile @@ -41,6 +41,12 @@ all: platform Riscv.thy check: $(SAIL_SRCS) main.sail Makefile $(SAIL) $(SAIL_FLAGS) $(SAIL_SRCS) main.sail +interpret: $(SAIL_SRCS) + $(SAIL) -i $(SAIL_FLAGS) $(SAIL_SRCS) main.sail + +cgen: $(SAIL_SRCS) + $(SAIL) -cgen $(SAIL_FLAGS) $(SAIL_SRCS) main.sail + _sbuild/riscv.ml: $(SAIL_SRCS) Makefile main.sail $(SAIL) $(SAIL_FLAGS) -ocaml -ocaml-nobuild -o riscv $(SAIL_SRCS) |