diff options
-rw-r--r-- | comfignat.gpr.gp (renamed from comfignat.gpr.in) | 0 | ||||
-rw-r--r-- | comfignat.mk | 4 |
2 files changed, 2 insertions, 2 deletions
diff --git a/comfignat.gpr.in b/comfignat.gpr.gp index fdbdcba..fdbdcba 100644 --- a/comfignat.gpr.in +++ b/comfignat.gpr.gp diff --git a/comfignat.mk b/comfignat.mk index 04d5caa..49da99f 100644 --- a/comfignat.mk +++ b/comfignat.mk @@ -127,7 +127,7 @@ install_cp_flags = ${if ${DESTDIR},--preserve=timestamps,} # ifneq (${origin preprocessed_files},file) - preprocessed_files := ${basename ${wildcard *.in}} + preprocessed_files := ${basename ${wildcard *.gp}} endif # preprocessed_files is a list of files to be produced in the preprocessing # step at the beginning of the build. Containing makefiles may override it or @@ -350,7 +350,7 @@ configure:: # configured variable. It is therefore possible to delete a variable V from the # configuration by running "make configure V_is_configured=false". -%.gpr: %.gpr.in +%.gpr: %.gpr.gp "${GNATPREP}" $< $@ ${definitions} preprocess: $${preprocessed_files} |