diff options
| author | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2022-11-16 17:40:17 +0000 |
|---|---|---|
| committer | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2023-05-31 00:27:23 -0700 |
| commit | 6693700ad7509c4fff3bb22416048dbe0ea0a0d8 (patch) | |
| tree | 5a027faec7873ec925edf77171514aefed994160 /Makefile | |
| parent | 566c58eb5a8aa26c2feb8529f2402b5b796ac552 (diff) | |
| download | sail-riscv-6693700ad7509c4fff3bb22416048dbe0ea0a0d8.zip sail-riscv-6693700ad7509c4fff3bb22416048dbe0ea0a0d8.tar.gz sail-riscv-6693700ad7509c4fff3bb22416048dbe0ea0a0d8.tar.bz2 | |
Add opam packaging for the Coq output
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -385,6 +385,17 @@ endif generated_definitions/coq/$(ARCH)/riscv.vo: generated_definitions/coq/$(ARCH)/riscv_types.vo handwritten_support/riscv_extras.vo handwritten_support/mem_metadata.vo +riscv_coq_install: + if [ ! -f generated_definitions/coq/RV64/riscv.v ]; then echo RV64 has not been built; false; fi + if [ ! -f generated_definitions/coq/RV32/riscv.v ]; then echo RV32 has not been built; false; fi + install -d `coqc -where`/user-contrib/Riscv_common + install -d `coqc -where`/user-contrib/RV64 + install -d `coqc -where`/user-contrib/RV32 + install handwritten_support/*.v* `coqc -where`/user-contrib/Riscv_common + install generated_definitions/coq/RV64/* `coqc -where`/user-contrib/RV64 + install generated_definitions/coq/RV32/* `coqc -where`/user-contrib/RV32 +.PHONY: riscv_coq_install + echo_rmem_srcs: echo $(SAIL_RMEM_SRCS) |