Rombobjörn

summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--comfignat.mk11
1 files changed, 10 insertions, 1 deletions
diff --git a/comfignat.mk b/comfignat.mk
index 09ec0eb..e134d2e 100644
--- a/comfignat.mk
+++ b/comfignat.mk
@@ -600,7 +600,16 @@ preprocess: $${preprocessed_files_in_builddir}
# requires that all preprocessing of files that are needed during the build is
# done before any project is built.
-build: $${build_targets} $${staged_usage_GPRs}
+base: $${build_targets}
+# This builds the projects listed in build_GPRs, plus any additional
+# prerequisites that the containing makefile might add.
+
+build: base $${staged_usage_GPRs}
+# This is the default build. Additional targets that should be built by default
+# may be added as prerequisites.
+
+all: build
+# Optional targets may be added as prerequisites of "all".
${stagedir}:
@${MAKE} build