Improve the Makefile

1 files changed, 5 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 98172fda..3b44e0e6 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \