Add tls-extensiontype-values to examples

Ref. eng/recordflux/RecordFlux#1221 Ref. eng/recordflux/RecordFlux#1406
AdaCore · Sep 12, 2023 · 72648c4 · 72648c4
1 parent 84ea01e
commit 72648c4
Show file tree

Hide file tree

Showing 3 changed files with 1,676 additions and 2 deletions.
diff --git a/examples/specs/Makefile b/examples/specs/Makefile
@@ -1,15 +1,18 @@
 IANA_REGISTRIES_DIR := iana_registries
 
-.PHONY: generate_iana generate_iana_protocol_numbers generate_iana_tls_parameters generate_iana_bootp_dhcp_parameters generate_iana_arp_parameters
+.PHONY: generate_iana generate_iana_protocol_numbers generate_iana_tls_parameters generate_iana_tls_extensiontype_values generate_iana_bootp_dhcp_parameters generate_iana_arp_parameters
 
-generate_iana: generate_iana_protocol_numbers generate_iana_tls_parameters generate_iana_bootp_dhcp_parameters generate_iana_arp_parameters
+generate_iana: generate_iana_protocol_numbers generate_iana_tls_parameters generate_iana_tls_extensiontype_values generate_iana_bootp_dhcp_parameters generate_iana_arp_parameters
 
 generate_iana_protocol_numbers:
 	rflx convert iana $(IANA_REGISTRIES_DIR)/protocol-numbers.xml -a
 
 generate_iana_tls_parameters:
 	rflx convert iana $(IANA_REGISTRIES_DIR)/tls-parameters.xml -a
 
+generate_iana_tls_extensiontype_values:
+	rflx convert iana $(IANA_REGISTRIES_DIR)/tls-extensiontype-values.xml -a
+
 generate_iana_bootp_dhcp_parameters:
 	rflx convert iana $(IANA_REGISTRIES_DIR)/bootp-dhcp-parameters.xml