diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-11-05 14:22:07 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-05 14:22:07 -0800 |
| commit | 96e4dcc5c6c2a146866a9d9d7b57af2eb847964e (patch) | |
| tree | 9a36984fdfef2462966cb6c2b25caa645e1c0aca /Makefile | |
| parent | 02d8312b88cfe5a97d6301295ec8b85a68c8f24d (diff) | |
| parent | b07478942f9e3060bf807147f65e0a91852db029 (diff) | |
| download | sail-riscv-96e4dcc5c6c2a146866a9d9d7b57af2eb847964e.zip sail-riscv-96e4dcc5c6c2a146866a9d9d7b57af2eb847964e.tar.gz sail-riscv-96e4dcc5c6c2a146866a9d9d7b57af2eb847964e.tar.bz2 | |
Merge pull request #24 from rems-project/csr_ext
Extension hooks for CSR access control
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -200,6 +200,12 @@ generated_definitions/c/riscv_model_$(ARCH).c: $(SAIL_SRCS) model/main.sail Make mkdir -p generated_definitions/c $(SAIL) $(SAIL_FLAGS) -O -Oconstant_fold -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h -c_no_main $(SAIL_SRCS) model/main.sail -o $(basename $@) +# convenience target +.PHONY: csim +csim: c_emulator/riscv_sim_$(ARCH) +.PHONY: rvfi +rvfi: c_emulator/riscv_rvfi + c_emulator/riscv_sim_$(ARCH): generated_definitions/c/riscv_model_$(ARCH).c $(C_INCS) $(C_SRCS) Makefile gcc -g $(C_WARNINGS) $(C_FLAGS) $< $(C_SRCS) $(SAIL_LIB_DIR)/*.c $(C_LIBS) -o $@ |