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 |