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 | |
parent | 0bc192b0935ffc1bbc4e03013a569493f80bcc8a (diff) | |
download | gana-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/.gitignore | 1 | ||||
-rw-r--r-- | gnu-name-system-record-types/Makefile | 17 | ||||
-rw-r--r-- | gnu-name-system-record-types/h.footer | 11 | ||||
-rw-r--r-- | gnu-name-system-record-types/h.header | 28 | ||||
-rw-r--r-- | gnu-name-system-record-types/h.template | 6 | ||||
-rw-r--r-- | gnu-name-system-record-types/registry.rec | 19 |
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 @@ | |||
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 | ||
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 | ||
24 | extern "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 | ||
18 | Number: 65536 | 19 | Number: 65536 |
19 | Name: PKEY | 20 | Name: PKEY |
21 | Comment: GNS zone transfer | ||
20 | References: LSD0001 | 22 | References: LSD0001 |
21 | 23 | ||
22 | Number: 65537 | 24 | Number: 65537 |
23 | Name: NICK | 25 | Name: NICK |
26 | Comment: GNS nick names | ||
24 | References: LSD0001 | 27 | References: LSD0001 |
25 | 28 | ||
26 | Number: 65538 | 29 | Number: 65538 |
27 | Name: LEHO | 30 | Name: LEHO |
31 | Comment: legacy hostnames | ||
28 | References: LSD0001 | 32 | References: LSD0001 |
29 | 33 | ||
30 | Number: 65539 | 34 | Number: 65539 |
31 | Name: VPN | 35 | Name: VPN |
36 | Comment: VPN resolution | ||
32 | References: LSD0001 | 37 | References: LSD0001 |
33 | 38 | ||
34 | Number: 65540 | 39 | Number: 65540 |
35 | Name: GNS2DNS | 40 | Name: GNS2DNS |
41 | Comment: Delegation to DNS | ||
36 | References: LSD0001 | 42 | References: LSD0001 |
37 | 43 | ||
38 | Number: 65541 | 44 | Number: 65541 |
39 | Name: BOX | 45 | Name: BOX |
46 | Comment: Boxed records (see TLSA/SRV handling in GNS) | ||
40 | References: LSD0001 | 47 | References: LSD0001 |
41 | 48 | ||
42 | Number: 65542 | 49 | Number: 65542 |
43 | Name: PLACE | 50 | Name: PLACE |
51 | Comment: social place for SecuShare | ||
44 | Contact: lynx@gnunet.org | 52 | Contact: lynx@gnunet.org |
45 | 53 | ||
46 | Number: 65543 | 54 | Number: 65543 |
47 | Name: PHONE | 55 | Name: PHONE |
56 | Comment: Endpoint for conversation | ||
48 | Contact: grothoff@gnunet.org | 57 | Contact: grothoff@gnunet.org |
49 | 58 | ||
50 | Number: 65544 | 59 | Number: 65544 |
51 | Name: RECLAIM_ATTRIBUTE | 60 | Name: RECLAIM_ATTRIBUTE |
61 | Comment: identity attribute | ||
52 | Contact: schanzen@gnunet.org | 62 | Contact: schanzen@gnunet.org |
53 | 63 | ||
54 | Number: 65545 | 64 | Number: 65545 |
55 | Name: RECLAIM_TICKET | 65 | Name: RECLAIM_TICKET |
66 | Comment: local ticket reference | ||
56 | Contact: schanzen@gnunet.org | 67 | Contact: schanzen@gnunet.org |
57 | 68 | ||
58 | Number: 65548 | 69 | Number: 65548 |
59 | Name: DELEGATE | 70 | Name: DELEGATE |
71 | Comment: for policies | ||
60 | Contact: schanzen@gnunet.org | 72 | Contact: schanzen@gnunet.org |
61 | 73 | ||
62 | Number: 65549 | 74 | Number: 65549 |
63 | Name: ATTRIBUTE | 75 | Name: ATTRIBUTE |
76 | Comment: for reverse lookups | ||
64 | Contact: schanzen@gnunet.org | 77 | Contact: schanzen@gnunet.org |
65 | 78 | ||
66 | Number: 65550 | 79 | Number: 65550 |
67 | Name: RECLAIM_ATTRIBUTE_REF | 80 | Name: RECLAIM_ATTRIBUTE_REF |
81 | Comment: for reclaim records | ||
68 | Contact: schanzen@gnunet.org | 82 | Contact: schanzen@gnunet.org |
69 | 83 | ||
70 | Number: 65551 | 84 | Number: 65551 |
71 | Name: RECLAIM_MASTER | 85 | Name: RECLAIM_MASTER |
86 | Comment: for RECLAIM master | ||
72 | Contact: schanzen@gnunet.org | 87 | Contact: schanzen@gnunet.org |
73 | 88 | ||
74 | Number: 65552 | 89 | Number: 65552 |
75 | Name: RECLAIM_TICKET | 90 | Name: RECLAIM_TICKET |
91 | Comment: for reclaimOIDC clients | ||
76 | Contact: schanzen@gnunet.org | 92 | Contact: schanzen@gnunet.org |
77 | 93 | ||
78 | Number: 65553 | 94 | Number: 65553 |
79 | Name: RECLAIM_OIDC_CLIENT | 95 | Name: RECLAIM_OIDC_CLIENT |
96 | Comment: for reclaim OIDC redirect URIs | ||
80 | Contact: schanzen@gnunet.org | 97 | Contact: schanzen@gnunet.org |
81 | 98 | ||
82 | Number: 65554 | 99 | Number: 65554 |
83 | Name: RECLAIM_ATTESTATION | 100 | Name: RECLAIM_ATTESTATION |
101 | Comment: for reclaim attestation | ||
84 | Contact: schanzen@gnunet.org | 102 | Contact: schanzen@gnunet.org |
85 | 103 | ||
86 | Number: 65555 | 104 | Number: 65555 |
87 | Name: RECLAIM_ATTESTATION_REF | 105 | Name: RECLAIM_ATTESTATION_REF |
106 | Comment: for attestation reference in a ticket | ||
88 | Contact: schanzen@gnunet.org | 107 | Contact: schanzen@gnunet.org |
89 | 108 | ||