Merge remote-tracking branch 'origin/main' into son/examples

AeneasVerif · Mar 20, 2024 · 34850ee · 34850ee
2 parents 07021e9 + 8111c97
commit 34850ee
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -49,13 +49,17 @@ SUBDIR :=
 # The rules
 ####################################
 
+# Build the compiler, after formatting the code
+.PHONY: build
+build: format build-dev
+
 # Build the project, test it and verify the generated files
 .PHONY: build-test-verify
 build-test-verify: build test verify
 
-# Build the project
-.PHONY: build
-build: build-bin build-lib build-bin-dir doc
+# Build the project, without formatting the code
+.PHONY: build-dev
+build-dev: build-bin build-lib build-bin-dir doc
 
 .PHONY: build-bin
 build-bin: