diff options
-rw-r--r-- | comfignat.mk | 11 |
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 |