diff options
| author | Alasdair Armstrong | 2018-12-13 16:20:48 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-13 16:20:48 +0000 |
| commit | b167a59affdb6428fa0656a092b335a3a6899d56 (patch) | |
| tree | f8b5a9d7a11bd1753d2861653841448db8f7cb07 /riscv/Makefile | |
| parent | f19023bedee7b32a39b23907b0a1cd732a1e3bc9 (diff) | |
Add hooks to call cgen stub file for RISC-V
Diffstat (limited to 'riscv/Makefile')
| -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) |