Compile-time configuration infrastructure
[hcoop/domtool2.git] / Makefile
CommitLineData
0d2ce070
AC
1all: configDefault/config.sig configDefault/configDefault.sml
2
3.PHONY: all
4
5configDefault/config.sig: src/config.sig.header \
6 configDefault/*.cfs src/config.sig.footer
7 cat src/config.sig.header \
8 configDefault/*.cfs \
9 src/config.sig.footer \
10 >configDefault/config.sig
11
12configDefault/configDefault.sml: src/configDefault.sml.header \
13 configDefault/*.cfg src/configDefault.sml.footer
14 cat src/configDefault.sml.header \
15 configDefault/*.cfg \
16 src/configDefault.sml.footer \
17 >configDefault/configDefault.sml
18