diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-05-06 00:23:52 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-05-06 00:23:52 +0200 |
commit | 56eafb8f94157eecca4410ff6924715fe8328386 (patch) | |
tree | 2f765f60096c89b1ce8e85da82a73ba19854f28d /gnu-name-system-record-types/Makefile | |
parent | 0bc192b0935ffc1bbc4e03013a569493f80bcc8a (diff) | |
download | gana-56eafb8f94157eecca4410ff6924715fe8328386.tar.gz gana-56eafb8f94157eecca4410ff6924715fe8328386.zip |
C header generation logic
Diffstat (limited to 'gnu-name-system-record-types/Makefile')
-rw-r--r-- | gnu-name-system-record-types/Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gnu-name-system-record-types/Makefile b/gnu-name-system-record-types/Makefile index 8364f52..2d0eb95 100644 --- a/gnu-name-system-record-types/Makefile +++ b/gnu-name-system-record-types/Makefile | |||
@@ -1,2 +1,19 @@ | |||
1 | FILES=gnu-name-system-record-types.h | ||
2 | all: check $(FILES) | ||
3 | |||
1 | check: | 4 | check: |
2 | recfix --check registry.rec | 5 | recfix --check registry.rec |
6 | |||
7 | distclean: | ||
8 | |||
9 | rm -f *.tmp | ||
10 | clean: | ||
11 | rm -f $(FILES) *.tmp | ||
12 | |||
13 | gnu-name-system-record-types.h.tmp: registry.rec h.template | ||
14 | ../format.sh h.template < registry.rec > $@ | ||
15 | |||
16 | gnu-name-system-record-types.h: h.header gnu-name-system-record-types.h.tmp h.footer | ||
17 | cat $^ > $@ | ||
18 | |||
19 | .PHONY: check clean distclean | ||