From e692a9535cecc8a19fea9d0ebf2b470a09cf4541 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 13 Oct 2022 17:42:11 +0200
Subject: Make minor modifications to the Makefile

---
 Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e92b2b9b..f75d00be 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3