diff options
Diffstat (limited to 'comfignat.mk')
| -rw-r--r-- | comfignat.mk | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/comfignat.mk b/comfignat.mk index ea16397..bfe60ba 100644 --- a/comfignat.mk +++ b/comfignat.mk @@ -586,6 +586,7 @@ preprocessed_files_in_builddir = ${addprefix ${make_builddir}/,${preprocessed_fi .SECONDEXPANSION: +.PHONY: Comfignat_default_goal Comfignat_default_goal: build # How to make directories: @@ -613,6 +614,7 @@ ${make_builddir}/Makefile: | ${make_builddir}/ # the match-anything rule to update the makefile. # How to save configured variables: +.PHONY: configure configure:: ${make_builddir}/Makefile @echo "Writing ${configuration}." @( ${foreach var,${configuration_variables}, \ @@ -648,6 +650,7 @@ configure:: ${make_builddir}/Makefile # V_is_weakly_configured=false". # How to show the values of configured variables: +.PHONY: show_configuration show_configuration:: @${foreach var,${configuration_variables}, \ ${if ${filter true,${${var}_is_configured}}, \ @@ -672,6 +675,7 @@ ${make_gprdir}/%: %.gp | ${make_gprdir}/ ${make_gprdir}/%: % | ${make_gprdir}/ cp -p $< $@ +.PHONY: preprocess preprocess: $${preprocessed_files_in_builddir} # How to build a project: @@ -681,14 +685,17 @@ preprocess: $${preprocessed_files_in_builddir} # requires that all preprocessing of files that are needed during the build is # done before any project is built. +.PHONY: base base: $${build_targets} # This builds the projects listed in build_GPRs, plus any additional # prerequisites that the containing makefile might add. +.PHONY: build build: base $${staged_usage_GPRs} # This is the default build. Additional targets that should be built by default # may be added as prerequisites. +.PHONY: all all: build # Optional targets may be added as prerequisites of "all". @@ -704,10 +711,13 @@ install: ${make_stagedir} cp -RPf ${install_cp_flags} "${stagedir}"/* "${DESTDIR}/" .PHONY: install +.PHONY: clean clean:: rm -Rf "${objdir}" "${stagedir}" ${preprocessed_files_in_builddir} +.PHONY: unconfigure unconfigure:: rm -f "${configuration}" +.PHONY: distclean distclean: clean unconfigure |