diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2020-02-21 11:32:20 +0000 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2020-02-26 12:33:32 +0000 |
| commit | c71ed5b110b13be9e656feeda2ac82d452b4fee9 (patch) | |
| tree | fb3729e4de3891b083a45462e843f940c767da8e /Makefile | |
| parent | c2180d1c965b0ee1f3b1c43637f33cdef866f27f (diff) | |
| download | sail-riscv-c71ed5b110b13be9e656feeda2ac82d452b4fee9.zip sail-riscv-c71ed5b110b13be9e656feeda2ac82d452b4fee9.tar.gz sail-riscv-c71ed5b110b13be9e656feeda2ac82d452b4fee9.tar.bz2 | |
Add convenience 'osim' target for ocaml emulator.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -226,6 +226,8 @@ $(SOFTFLOAT_LIBS): # convenience target .PHONY: csim csim: c_emulator/riscv_sim_$(ARCH) +.PHONY: osim +osim: ocaml_emulator/riscv_ocaml_sim_$(ARCH) .PHONY: rvfi rvfi: c_emulator/riscv_rvfi_$(ARCH) |