diff options
| author | Son HO | 2022-09-28 16:18:12 +0200 |
|---|---|---|
| committer | GitHub | 2022-09-28 16:18:12 +0200 |
| commit | 533ecfd11747ed7b65d5df5b48eee09e05dbcbcf (patch) | |
| tree | 856f68c288784dbc81bff61179ef27d0592da268 /Makefile | |
| parent | dd75894c85bbaa5dc6aa54d39980e160e5b7777f (diff) | |
| parent | 056681b763aeeb1066adccd7c4c8bc28d815ba02 (diff) | |
Merge pull request #2 from AeneasVerif/protz_osx
Some more logic to work on OSX
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -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. |