diff options
Diffstat (limited to 'gnu-taler-db-events/Makefile')
-rw-r--r-- | gnu-taler-db-events/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gnu-taler-db-events/Makefile b/gnu-taler-db-events/Makefile new file mode 100644 index 0000000..194ba50 --- /dev/null +++ b/gnu-taler-db-events/Makefile | |||
@@ -0,0 +1,20 @@ | |||
1 | FILES=taler_dbevents.h | ||
2 | |||
3 | all: check $(FILES) | ||
4 | |||
5 | check: registry.rec | ||
6 | recfix --check registry.rec | ||
7 | |||
8 | distclean: | ||
9 | rm -f *.tmp | ||
10 | |||
11 | clean: | ||
12 | rm -f $(FILES) *.tmp | ||
13 | |||
14 | taler_dbevents.h.tmp: registry.rec h.template | ||
15 | ../format.sh h.template < registry.rec > $@ | ||
16 | |||
17 | taler_dbevents.h: h.header taler_dbevents.h.tmp h.footer | ||
18 | cat $^ > $@ | ||
19 | |||
20 | .PHONY: check clean distclean | ||