diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -20,6 +20,10 @@ REGEN_LLBC ?= # The path to Charon CHARON_HOME ?= ../charon +ifeq (,$(wildcard $(CHARON_HOME))) + $(error The directory $$CHARON_HOME does not exist$(newline)(CHARON_HOME=$(CHARON_HOME)).) +endif + # The paths to the test directories in Charon (Aeneas will look for the .llbc # files in there). CHARON_TESTS_REGULAR_DIR ?= $(CHARON_HOME)/tests @@ -89,7 +93,7 @@ clean: # Test the project by translating test files to F* .PHONY: test -test: test-no_nested_borrows test-paper \ +test: build-dev test-no_nested_borrows test-paper \ test-hashmap test-hashmap_main \ test-external test-constants \ testp-polonius_list testp-betree_main \ |