diff options
author | Björn Persson <bjorn@rombobjörn.se> | 2013-06-16 23:42:41 +0200 |
---|---|---|
committer | Björn Persson <bjorn@rombobjörn.se> | 2013-06-16 23:42:41 +0200 |
commit | 35308529422cf3d8ad818c8a369e5f37818f875a (patch) | |
tree | c7f76ecea571790d1ee5454253586e9781aac38b | |
parent | 12512e5d0367cf18df565ea0d42ed418b47b8667 (diff) |
Changed the default suffix of files to be preprocessed.
-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} |