diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -3,7 +3,7 @@ ifeq (3.81,$(MAKE_VERSION)) install make, then invoke gmake instead of make) endif -all: build-test-verify +all: build-tests-verify CHARON_HOME = ../charon CHARON_EXEC = $(CHARON_HOME)/charon @@ -25,7 +25,7 @@ SUBDIR := # Build the project, test it and verify the generated files .PHONY: build-test-verify -build-test-verify: build test verify +build-tests-verify: build tests verify # Build the project .PHONY: build @@ -33,15 +33,15 @@ build: dune build src/main.exe # Test the project by translating test files to F* -.PHONY: test -test: build trans-no_nested_borrows trans-paper \ +.PHONY: tests +tests: build trans-no_nested_borrows trans-paper \ trans-hashmap trans-hashmap_main \ trans-external trans-constants \ trans-nll-betree_nll trans-nll-betree_main # Verify the F* files generated by the translation .PHONY: verify -verify: build test +verify: build tests cd tests && $(MAKE) all # Reformat the project |