diff options
| author | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-10-09 16:12:09 +0100 |
|---|---|---|
| committer | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-10-09 16:12:09 +0100 |
| commit | 260e8b43ee22f2aca9101b7936cd8f76d508a9ef (patch) | |
| tree | cf89c4b321bbdc0b0e6c3a3734f9e35738685d99 | |
| parent | 3c2462b03776193d586de80ac726e42a987ccb6b (diff) | |
| download | sail-riscv-mem_meta.zip sail-riscv-mem_meta.tar.gz sail-riscv-mem_meta.tar.bz2 | |
Back out an accidentally committed changemem_meta
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -292,8 +292,8 @@ $(addprefix generated_definitions/coq/$(ARCH)/,riscv_duopod.v riscv_duopod_types $(SAIL) $(SAIL_FLAGS) -dcoq_undef_axioms -coq -coq_output_dir generated_definitions/coq/$(ARCH) -o riscv_duopod -coq_lib riscv_extras -coq_lib mem_metadata $^ %.vo: %.v -ifeq ($(wildcard $(BBV_LIB_DIR)),) - $(error BBV directory not found. Please set the BBV_LIB_DIR environment variable) +ifeq ($(wildcard $(BBV_DIR)/theories),) + $(error BBV directory not found. Please set the BBV_DIR environment variable) endif ifeq ($(wildcard $(SAIL_LIB_DIR)/coq),) $(error lib directory of Sail not found. Please set the SAIL_LIB_DIR environment variable) |