aboutsummaryrefslogtreecommitdiff
path: root/gnunet-signatures/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'gnunet-signatures/Makefile')
-rw-r--r--gnunet-signatures/Makefile15
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 @@
1FILES=registry.rec gnunet_signatures.h
2all: check $(FILES)
3check: registry.rec
4 recfix --check registry.rec
5distclean:
6 rm -f *.tmp
7clean:
8 rm -f $(FILES) *.tmp
9gnunet_signatures.h.tmp: registry.rec h.template
10 ../format.sh h.template < registry.rec > $@
11
12gnunet_signatures.h: h.header gnunet_signatures.h.tmp h.footer
13 cat $^ > $@
14
15.PHONY: check clean distclean