diff options
author | Björn Persson <bjorn@rombobjörn.se> | 2013-10-17 15:49:30 +0200 |
---|---|---|
committer | Björn Persson <bjorn@rombobjörn.se> | 2013-10-17 15:49:30 +0200 |
commit | 9d81cac3fde918466e4812b5becb6d78a8ee19ff (patch) | |
tree | a794393242f07c3aa882d8d2bc253ff55aee14c4 | |
parent | 3693e0981ce8ffa6c272c40ecfbc29d4b8a42db3 (diff) |
Added targets for use as hooks.
-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 |