summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-03-20 06:38:23 +0100
committerSon Ho2024-03-20 06:38:23 +0100
commit34850eed3c66f7f2c432294e4c589be53ad5d37b (patch)
tree7748d3c19a0993edc710690491a2dc6ea3a2b58f /Makefile
parent07021e902a442ccda5979059415c51ddc4930980 (diff)
parent8111c970fcae9d609961eba2ad6716e8c9fc1046 (diff)
Merge remote-tracking branch 'origin/main' into son/examples
Diffstat (limited to '')
-rw-r--r--Makefile10
1 files changed, 7 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 5f8fd537..efedbf7f 100644
--- 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: