diff options
| author | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2019-06-11 11:58:43 +0100 |
|---|---|---|
| committer | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2019-06-11 11:58:43 +0100 |
| commit | 5dc38f37b871af7d6d1af9dfbbb203fb92d99d6a (patch) | |
| tree | 4688ea75eecf06b6048217e47caff0ada08d7707 | |
| parent | 7afa8387bba2f61ea2e729e63a46c107d79c1d31 (diff) | |
| download | sail-riscv-5dc38f37b871af7d6d1af9dfbbb203fb92d99d6a.zip sail-riscv-5dc38f37b871af7d6d1af9dfbbb203fb92d99d6a.tar.gz sail-riscv-5dc38f37b871af7d6d1af9dfbbb203fb92d99d6a.tar.bz2 | |
Remove unused directory from Coq imports, removing warning
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -276,7 +276,7 @@ riscv_hol: generated_definitions/hol4/$(ARCH)/riscvScript.sml riscv_hol_build: generated_definitions/hol4/$(ARCH)/riscvTheory.uo .PHONY: riscv_hol riscv_hol_build -COQ_LIBS = -R $(BBV_DIR)/theories bbv -R $(SAIL_LIB_DIR)/coq Sail -R coq '' -R generated_definitions/coq/$(ARCH) '' -R handwritten_support '' +COQ_LIBS = -R $(BBV_DIR)/theories bbv -R $(SAIL_LIB_DIR)/coq Sail -R generated_definitions/coq/$(ARCH) '' -R handwritten_support '' riscv_coq: $(addprefix generated_definitions/coq/$(ARCH)/,riscv.v riscv_types.v) riscv_coq_build: generated_definitions/coq/$(ARCH)/riscv.vo |