Rombobjörn

summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--comfignat.mk10
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