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