diff options
| author | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-11-28 17:47:20 +0000 |
|---|---|---|
| committer | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-11-28 17:47:20 +0000 |
| commit | 750a3c9142ab193ef7fa37ea6754ddc5218089e2 (patch) | |
| tree | 04422fc78ce91659d1cf487d5cd6282e68ecf844 /Makefile | |
| parent | 4809371012e7394853f01b179d088497212cf480 (diff) | |
| download | sail-riscv-750a3c9142ab193ef7fa37ea6754ddc5218089e2.zip sail-riscv-750a3c9142ab193ef7fa37ea6754ddc5218089e2.tar.gz sail-riscv-750a3c9142ab193ef7fa37ea6754ddc5218089e2.tar.bz2 | |
Fix check for BBV_DIR
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -296,7 +296,7 @@ $(addprefix generated_definitions/coq/$(ARCH)/,riscv_duopod.v riscv_duopod_types %.vo: %.v ifeq ($(wildcard $(BBV_DIR)/theories),) - $(error BBV directory not found. Please set the BBV_DIR environment variable) + $(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) |