diff options
| author | Son Ho | 2022-10-13 17:42:11 +0200 |
|---|---|---|
| committer | Son Ho | 2022-10-13 17:42:11 +0200 |
| commit | e692a9535cecc8a19fea9d0ebf2b470a09cf4541 (patch) | |
| tree | f6220790e7b46188c05456b660535053ff84d33c /Makefile | |
| parent | 53a2b8a2989485e8885d02c786206de84c9fd91d (diff) | |
Make minor modifications to the Makefile
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 |