aboutsummaryrefslogtreecommitdiff
path: root/gnu-name-system-record-types
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-05-06 00:23:52 +0200
committerChristian Grothoff <christian@grothoff.org>2020-05-06 00:23:52 +0200
commit56eafb8f94157eecca4410ff6924715fe8328386 (patch)
tree2f765f60096c89b1ce8e85da82a73ba19854f28d /gnu-name-system-record-types
parent0bc192b0935ffc1bbc4e03013a569493f80bcc8a (diff)
downloadgana-56eafb8f94157eecca4410ff6924715fe8328386.tar.gz
gana-56eafb8f94157eecca4410ff6924715fe8328386.zip
C header generation logic
Diffstat (limited to 'gnu-name-system-record-types')
-rw-r--r--gnu-name-system-record-types/.gitignore1
-rw-r--r--gnu-name-system-record-types/Makefile17
-rw-r--r--gnu-name-system-record-types/h.footer11
-rw-r--r--gnu-name-system-record-types/h.header28
-rw-r--r--gnu-name-system-record-types/h.template6
-rw-r--r--gnu-name-system-record-types/registry.rec19
6 files changed, 82 insertions, 0 deletions
diff --git a/gnu-name-system-record-types/.gitignore b/gnu-name-system-record-types/.gitignore
new file mode 100644
index 0000000..0a437d0
--- /dev/null
+++ b/gnu-name-system-record-types/.gitignore
@@ -0,0 +1 @@
gnu-name-system-record-types.h
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 @@
1FILES=gnu-name-system-record-types.h
2all: check $(FILES)
3
1check: 4check:
2 recfix --check registry.rec 5 recfix --check registry.rec
6
7distclean:
8
9 rm -f *.tmp
10clean:
11 rm -f $(FILES) *.tmp
12
13gnu-name-system-record-types.h.tmp: registry.rec h.template
14 ../format.sh h.template < registry.rec > $@
15
16gnu-name-system-record-types.h: h.header gnu-name-system-record-types.h.tmp h.footer
17 cat $^ > $@
18
19.PHONY: check clean distclean
diff --git a/gnu-name-system-record-types/h.footer b/gnu-name-system-record-types/h.footer
new file mode 100644
index 0000000..adccc7a
--- /dev/null
+++ b/gnu-name-system-record-types/h.footer
@@ -0,0 +1,11 @@
1
2
3
4#if 0 /* keep Emacsens' auto-indent happy */
5{
6#endif
7#ifdef __cplusplus
8}
9#endif
10
11#endif
diff --git a/gnu-name-system-record-types/h.header b/gnu-name-system-record-types/h.header
new file mode 100644
index 0000000..fb52945
--- /dev/null
+++ b/gnu-name-system-record-types/h.header
@@ -0,0 +1,28 @@
1/*
2 This file is part of GNUnet
3 Copyright (C) 2012-2020 GNUnet e.V.
4
5 GNUnet is free software: you can redistribute it and/or modify it
6 under the terms of the GNU Affero General Public License as published
7 by the Free Software Foundation, either version 3 of the License,
8 or (at your option) any later version.
9
10 GNUnet is distributed in the hope that it will be useful, but
11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Affero General Public License for more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>.
17
18 SPDX-License-Identifier: AGPL3.0-or-later
19 */
20#ifndef GNU_NAME_SYSTEM_RECORD_TYPES_H
21#define GNU_NAME_SYSTEM_RECORD_TYPES_H
22
23#ifdef __cplusplus
24extern "C" {
25#if 0 /* keep Emacsens' auto-indent happy */
26}
27#endif
28#endif
diff --git a/gnu-name-system-record-types/h.template b/gnu-name-system-record-types/h.template
new file mode 100644
index 0000000..dbb1f61
--- /dev/null
+++ b/gnu-name-system-record-types/h.template
@@ -0,0 +1,6 @@
1
2
3/**
4 * {{Comment}}
5 */
6#define GNUNET_GNSRECORD_TYPE_{{Name}} {{Number}}
diff --git a/gnu-name-system-record-types/registry.rec b/gnu-name-system-record-types/registry.rec
index 4d1f72f..74cf1b6 100644
--- a/gnu-name-system-record-types/registry.rec
+++ b/gnu-name-system-record-types/registry.rec
@@ -11,79 +11,98 @@
11%type: Name Name_t 11%type: Name Name_t
12%unique: Name 12%unique: Name
13%mandatory: Name 13%mandatory: Name
14%mandatory: Comment
14%allowed: Contact 15%allowed: Contact
15%allowed: References 16%allowed: References
16%sort: Number Name Contact References 17%sort: Number Name Contact References
17 18
18Number: 65536 19Number: 65536
19Name: PKEY 20Name: PKEY
21Comment: GNS zone transfer
20References: LSD0001 22References: LSD0001
21 23
22Number: 65537 24Number: 65537
23Name: NICK 25Name: NICK
26Comment: GNS nick names
24References: LSD0001 27References: LSD0001
25 28
26Number: 65538 29Number: 65538
27Name: LEHO 30Name: LEHO
31Comment: legacy hostnames
28References: LSD0001 32References: LSD0001
29 33
30Number: 65539 34Number: 65539
31Name: VPN 35Name: VPN
36Comment: VPN resolution
32References: LSD0001 37References: LSD0001
33 38
34Number: 65540 39Number: 65540
35Name: GNS2DNS 40Name: GNS2DNS
41Comment: Delegation to DNS
36References: LSD0001 42References: LSD0001
37 43
38Number: 65541 44Number: 65541
39Name: BOX 45Name: BOX
46Comment: Boxed records (see TLSA/SRV handling in GNS)
40References: LSD0001 47References: LSD0001
41 48
42Number: 65542 49Number: 65542
43Name: PLACE 50Name: PLACE
51Comment: social place for SecuShare
44Contact: lynx@gnunet.org 52Contact: lynx@gnunet.org
45 53
46Number: 65543 54Number: 65543
47Name: PHONE 55Name: PHONE
56Comment: Endpoint for conversation
48Contact: grothoff@gnunet.org 57Contact: grothoff@gnunet.org
49 58
50Number: 65544 59Number: 65544
51Name: RECLAIM_ATTRIBUTE 60Name: RECLAIM_ATTRIBUTE
61Comment: identity attribute
52Contact: schanzen@gnunet.org 62Contact: schanzen@gnunet.org
53 63
54Number: 65545 64Number: 65545
55Name: RECLAIM_TICKET 65Name: RECLAIM_TICKET
66Comment: local ticket reference
56Contact: schanzen@gnunet.org 67Contact: schanzen@gnunet.org
57 68
58Number: 65548 69Number: 65548
59Name: DELEGATE 70Name: DELEGATE
71Comment: for policies
60Contact: schanzen@gnunet.org 72Contact: schanzen@gnunet.org
61 73
62Number: 65549 74Number: 65549
63Name: ATTRIBUTE 75Name: ATTRIBUTE
76Comment: for reverse lookups
64Contact: schanzen@gnunet.org 77Contact: schanzen@gnunet.org
65 78
66Number: 65550 79Number: 65550
67Name: RECLAIM_ATTRIBUTE_REF 80Name: RECLAIM_ATTRIBUTE_REF
81Comment: for reclaim records
68Contact: schanzen@gnunet.org 82Contact: schanzen@gnunet.org
69 83
70Number: 65551 84Number: 65551
71Name: RECLAIM_MASTER 85Name: RECLAIM_MASTER
86Comment: for RECLAIM master
72Contact: schanzen@gnunet.org 87Contact: schanzen@gnunet.org
73 88
74Number: 65552 89Number: 65552
75Name: RECLAIM_TICKET 90Name: RECLAIM_TICKET
91Comment: for reclaimOIDC clients
76Contact: schanzen@gnunet.org 92Contact: schanzen@gnunet.org
77 93
78Number: 65553 94Number: 65553
79Name: RECLAIM_OIDC_CLIENT 95Name: RECLAIM_OIDC_CLIENT
96Comment: for reclaim OIDC redirect URIs
80Contact: schanzen@gnunet.org 97Contact: schanzen@gnunet.org
81 98
82Number: 65554 99Number: 65554
83Name: RECLAIM_ATTESTATION 100Name: RECLAIM_ATTESTATION
101Comment: for reclaim attestation
84Contact: schanzen@gnunet.org 102Contact: schanzen@gnunet.org
85 103
86Number: 65555 104Number: 65555
87Name: RECLAIM_ATTESTATION_REF 105Name: RECLAIM_ATTESTATION_REF
106Comment: for attestation reference in a ticket
88Contact: schanzen@gnunet.org 107Contact: schanzen@gnunet.org
89 108