diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2019-05-31 16:33:35 +0100 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2019-06-03 11:05:09 +0100 |
| commit | dd75592f98f991cfdda21f9d63e7c808369f0295 (patch) | |
| tree | b04247265e42f5760a522d8b49978d679b88002c /Makefile | |
| parent | af7c9802eea81e32717911389c676c9626a34c88 (diff) | |
| download | sail-riscv-dd75592f98f991cfdda21f9d63e7c808369f0295.zip sail-riscv-dd75592f98f991cfdda21f9d63e7c808369f0295.tar.gz sail-riscv-dd75592f98f991cfdda21f9d63e7c808369f0295.tar.bz2 | |
Install sail and C sources in share directory of opam package.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -327,6 +327,13 @@ generated_definitions/for-rmem/riscv.defs: $(SAIL_RMEM_SRCS) #LOC_FILES:=$(SAIL_SRCS) main.sail #include $(SAIL_DIR)/etc/loc.mk +FORCE: + +SHARE_FILES:=$(wildcard model/*.sail) $(wildcard c_emulator/*.c) $(wildcard c_emulator/*.h) +sail-riscv.install: FORCE + echo 'bin: ["c_emulator/riscv_sim_RV64" "c_emulator/riscv_sim_RV32"]' > sail-riscv.install + echo 'share: [ $(foreach f,$(SHARE_FILES),"$f" {"$f"}) ]' >> sail-riscv.install + opam-build: $(MAKE) ARCH=64 c_emulator/riscv_sim_RV64 $(MAKE) ARCH=32 c_emulator/riscv_sim_RV32 |