From a1e24b4327d96d744d0b2007cb9fe92766857dd7 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Tue, 27 Sep 2022 14:29:17 -0700
Subject: Incorrect assumptions, incorrect recursive make

---
 Makefile | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index db308fbd..e92b2b9b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,8 @@
+ifeq (3.81,$(MAKE_VERSION))
+  $(error You seem to be using the OSX antiquated Make version. Hint: brew \
+    install make, then invoke gmake instead of make)
+endif
+
 all: build-test-verify
 
 CHARON_HOME = ../charon
@@ -37,7 +42,7 @@ test: build trans-no_nested_borrows trans-paper \
 # Verify the F* files generated by the translation
 .PHONY: verify
 verify: build test
-	cd tests && make all
+	cd tests && $(MAKE) all
 
 # Reformat the project
 .PHONY: format
@@ -72,7 +77,7 @@ trans-nll-betree_main: SUBDIR:=betree
 # vary with the test files.
 .PHONY: gen-llbc-%
 gen-llbc-%: build
-	cd $(CHARON_HOME) && make test-$*
+	cd $(CHARON_HOME) && $(MAKE) test-$*
 
 # Generic rule to test the translation of an LLBC file.
 # Note that the non-linear lifetime files are generated in the tests-nll subdirectory.
-- 
cgit v1.2.3