blob: e554969fca23f73659eb6af3e67d8254151e5700 [file] [log] [blame]
fbrosson533407a2018-04-04 21:44:29 +00001#!/usr/bin/env perl
SimonB60f2cf92016-04-03 14:16:08 +01002#
3# This file is part of mbed TLS (https://tls.mbed.org)
4#
5# Copyright (c) 2014-2016, ARM Limited, All Rights Reserved
6#
7# Purpose
8#
9# Comments and uncomments #define lines in the given header file and optionally
Simon Butcher4ae86912016-06-21 10:09:25 +010010# sets their value or can get the value. This is to provide scripting control of
11# what preprocessor symbols, and therefore what build time configuration flags
12# are set in the 'config.h' file.
SimonB60f2cf92016-04-03 14:16:08 +010013#
14# Usage: config.pl [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010015# [set <symbol> <value> | unset <symbol> | get <symbol> |
16# full | realfull]
SimonB60f2cf92016-04-03 14:16:08 +010017#
18# Full usage description provided below.
19#
Hanno Becker7c0f17d2017-09-28 11:49:46 +010020# The following options are disabled instead of enabled with "full".
SimonB60f2cf92016-04-03 14:16:08 +010021#
Simon Butcherab5df402016-06-11 02:31:21 +010022# MBEDTLS_TEST_NULL_ENTROPY
SimonB60f2cf92016-04-03 14:16:08 +010023# MBEDTLS_DEPRECATED_REMOVED
24# MBEDTLS_HAVE_SSE2
25# MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
26# MBEDTLS_ECP_DP_M221_ENABLED
27# MBEDTLS_ECP_DP_M383_ENABLED
28# MBEDTLS_ECP_DP_M511_ENABLED
Hanno Becker307dfcd2019-02-26 13:51:00 +000029# MBEDTLS_MEMORY_BACKTRACE
30# MBEDTLS_MEMORY_BUFFER_ALLOC_C
SimonB60f2cf92016-04-03 14:16:08 +010031# MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
32# MBEDTLS_NO_PLATFORM_ENTROPY
33# MBEDTLS_REMOVE_ARC4_CIPHERSUITES
Andres Amaya Garcia5d8aade2018-10-30 18:21:41 +000034# MBEDTLS_REMOVE_3DES_CIPHERSUITES
Manuel Pégourié-Gonnard0956e3e2019-07-17 16:58:56 +020035# MBEDTLS_SHA256_NO_SHA224
SimonB60f2cf92016-04-03 14:16:08 +010036# MBEDTLS_SSL_HW_RECORD_ACCEL
Manuel Pégourié-Gonnardba8b1eb2019-06-17 15:21:07 +020037# MBEDTLS_SSL_PROTO_NO_DTLS
Manuel Pégourié-Gonnard26ac9c42019-07-01 10:07:28 +020038# MBEDTLS_SSL_NO_SESSION_CACHE
39# MBEDTLS_SSL_NO_SESSION_RESUMPTION
Hanno Becker7c0f17d2017-09-28 11:49:46 +010040# MBEDTLS_RSA_NO_CRT
Hanno Becker8239fad2019-08-27 15:45:44 +010041# MBEDTLS_USE_TINYCRYPT
SimonB60f2cf92016-04-03 14:16:08 +010042# MBEDTLS_X509_ALLOW_EXTENSIONS_NON_V3
43# MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION
44# - this could be enabled if the respective tests were adapted
Hanno Beckerb4d967a2019-06-12 13:59:14 +010045# MBEDTLS_X509_REMOVE_INFO
Hanno Becker843b71a2019-06-25 09:39:21 +010046# MBEDTLS_X509_CRT_REMOVE_TIME
Hanno Beckerd07614c2019-06-25 10:19:58 +010047# MBEDTLS_X509_CRT_REMOVE_SUBJECT_ISSUER_ID
Teppo Järvelin4009d8f2019-08-19 14:48:09 +030048# MBEDTLS_X509_REMOVE_HOSTNAME_VERIFICATION
Hanno Becker9ec3fe02019-07-01 17:36:12 +010049# MBEDTLS_X509_REMOVE_VERIFY_CALLBACK
SimonB60f2cf92016-04-03 14:16:08 +010050# MBEDTLS_ZLIB_SUPPORT
51# MBEDTLS_PKCS11_C
Andrzej Kurek87621012019-09-09 05:25:05 -040052# MBEDTLS_NO_UDBL_DIVISION
53# MBEDTLS_NO_64BIT_MULTIPLICATION
SimonB60f2cf92016-04-03 14:16:08 +010054# and any symbol beginning _ALT
55#
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020056
57use warnings;
58use strict;
59
SimonB60f2cf92016-04-03 14:16:08 +010060my $config_file = "include/mbedtls/config.h";
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020061my $usage = <<EOU;
SimonB60f2cf92016-04-03 14:16:08 +010062$0 [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010063 [set <symbol> <value> | unset <symbol> | get <symbol> |
Azim Khanc3c3a682017-12-21 15:19:53 +000064 full | realfull | baremetal]
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020065
SimonB60f2cf92016-04-03 14:16:08 +010066Commands
Simon Butcher4ae86912016-06-21 10:09:25 +010067 set <symbol> [<value>] - Uncomments or adds a #define for the <symbol> to
SimonB60f2cf92016-04-03 14:16:08 +010068 the configuration file, and optionally making it
69 of <value>.
70 If the symbol isn't present in the file an error
71 is returned.
Simon Butcher4ae86912016-06-21 10:09:25 +010072 unset <symbol> - Comments out the #define for the given symbol if
73 present in the configuration file.
74 get <symbol> - Finds the #define for the given symbol, returning
Gilles Peskined98e9e82017-10-09 16:56:18 +020075 an exitcode of 0 if the symbol is found, and 1 if
Simon Butcher4ae86912016-06-21 10:09:25 +010076 not. The value of the symbol is output if one is
77 specified in the configuration file.
SimonB60f2cf92016-04-03 14:16:08 +010078 full - Uncomments all #define's in the configuration file
Simon Butcher4ae86912016-06-21 10:09:25 +010079 excluding some reserved symbols, until the
SimonB60f2cf92016-04-03 14:16:08 +010080 'Module configuration options' section
81 realfull - Uncomments all #define's with no exclusions
Azim Khanc3c3a682017-12-21 15:19:53 +000082 baremetal - Sets full configuration suitable for baremetal build.
SimonB60f2cf92016-04-03 14:16:08 +010083
84Options
85 -f | --file <filename> - The file or file path for the configuration file
86 to edit. When omitted, the following default is
87 used:
88 $config_file
89 -o | --force - If the symbol isn't present in the configuration
Brian J Murray2adecba2016-11-06 04:45:15 -080090 file when setting its value, a #define is
SimonB60f2cf92016-04-03 14:16:08 +010091 appended to the end of the file.
92
93EOU
94
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020095my @excluded = qw(
Simon Butcherab5df402016-06-11 02:31:21 +010096MBEDTLS_TEST_NULL_ENTROPY
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020097MBEDTLS_DEPRECATED_REMOVED
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020098MBEDTLS_HAVE_SSE2
99MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
100MBEDTLS_ECP_DP_M221_ENABLED
101MBEDTLS_ECP_DP_M383_ENABLED
102MBEDTLS_ECP_DP_M511_ENABLED
Hanno Beckerdfc97442019-06-03 16:33:18 +0100103MBEDTLS_MEMORY_DEBUG
Hanno Becker307dfcd2019-02-26 13:51:00 +0000104MBEDTLS_MEMORY_BACKTRACE
105MBEDTLS_MEMORY_BUFFER_ALLOC_C
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
107MBEDTLS_NO_PLATFORM_ENTROPY
Hanno Becker7c0f17d2017-09-28 11:49:46 +0100108MBEDTLS_RSA_NO_CRT
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200109MBEDTLS_REMOVE_ARC4_CIPHERSUITES
Andres Amaya Garcia5d8aade2018-10-30 18:21:41 +0000110MBEDTLS_REMOVE_3DES_CIPHERSUITES
Manuel Pégourié-Gonnard0956e3e2019-07-17 16:58:56 +0200111MBEDTLS_SHA256_NO_SHA224
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200112MBEDTLS_SSL_HW_RECORD_ACCEL
Manuel Pégourié-Gonnardba8b1eb2019-06-17 15:21:07 +0200113MBEDTLS_SSL_PROTO_NO_TLS
Manuel Pégourié-Gonnard26ac9c42019-07-01 10:07:28 +0200114MBEDTLS_SSL_NO_SESSION_CACHE
115MBEDTLS_SSL_NO_SESSION_RESUMPTION
Hanno Becker8239fad2019-08-27 15:45:44 +0100116MBEDTLS_USE_TINYCRYPT
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200117MBEDTLS_X509_ALLOW_EXTENSIONS_NON_V3
118MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION
Hanno Beckerb4d967a2019-06-12 13:59:14 +0100119MBEDTLS_X509_REMOVE_INFO
Hanno Becker843b71a2019-06-25 09:39:21 +0100120MBEDTLS_X509_CRT_REMOVE_TIME
Hanno Beckerd07614c2019-06-25 10:19:58 +0100121MBEDTLS_X509_CRT_REMOVE_SUBJECT_ISSUER_ID
Teppo Järvelin4009d8f2019-08-19 14:48:09 +0300122MBEDTLS_X509_REMOVE_HOSTNAME_VERIFICATION
Hanno Becker9ec3fe02019-07-01 17:36:12 +0100123MBEDTLS_X509_REMOVE_VERIFY_CALLBACK
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200124MBEDTLS_ZLIB_SUPPORT
125MBEDTLS_PKCS11_C
Azim Khanc4e96942017-12-21 15:22:37 +0000126MBEDTLS_NO_UDBL_DIVISION
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200127MBEDTLS_NO_64BIT_MULTIPLICATION
Manuel Pégourié-Gonnardafdc1b52019-05-09 11:24:11 +0200128MBEDTLS_USE_TINYCRYPT
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200129_ALT\s*$
130);
131
Azim Khan0d445732017-12-21 09:28:39 +0000132# Things that should be disabled in "baremetal"
133my @excluded_baremetal = qw(
134MBEDTLS_NET_C
135MBEDTLS_TIMING_C
136MBEDTLS_FS_IO
137MBEDTLS_ENTROPY_NV_SEED
138MBEDTLS_HAVE_TIME
139MBEDTLS_HAVE_TIME_DATE
140MBEDTLS_DEPRECATED_WARNING
141MBEDTLS_HAVEGE_C
142MBEDTLS_THREADING_C
143MBEDTLS_THREADING_PTHREAD
144MBEDTLS_MEMORY_BACKTRACE
145MBEDTLS_MEMORY_BUFFER_ALLOC_C
146MBEDTLS_PLATFORM_TIME_ALT
147MBEDTLS_PLATFORM_FPRINTF_ALT
148);
149
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100150# Things that should be enabled in "full" even if they match @excluded
151my @non_excluded = qw(
152PLATFORM_[A-Z0-9]+_ALT
153);
154
Azim Khan0d445732017-12-21 09:28:39 +0000155# Things that should be enabled in "baremetal"
156my @non_excluded_baremetal = qw(
157MBEDTLS_NO_PLATFORM_ENTROPY
158);
159
SimonB60f2cf92016-04-03 14:16:08 +0100160# Process the command line arguments
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200161
SimonB60f2cf92016-04-03 14:16:08 +0100162my $force_option = 0;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200163
SimonB60f2cf92016-04-03 14:16:08 +0100164my ($arg, $name, $value, $action);
165
SimonB73883c12016-04-04 13:49:10 +0100166while ($arg = shift) {
SimonB60f2cf92016-04-03 14:16:08 +0100167
168 # Check if the argument is an option
SimonB73883c12016-04-04 13:49:10 +0100169 if ($arg eq "-f" || $arg eq "--file") {
SimonB60f2cf92016-04-03 14:16:08 +0100170 $config_file = shift;
171
172 -f $config_file or die "No such file: $config_file\n";
173
174 }
SimonB73883c12016-04-04 13:49:10 +0100175 elsif ($arg eq "-o" || $arg eq "--force") {
SimonB60f2cf92016-04-03 14:16:08 +0100176 $force_option = 1;
177
178 }
179 else
180 {
181 # ...else assume it's a command
182 $action = $arg;
183
Azim Khan0d445732017-12-21 09:28:39 +0000184 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
SimonB60f2cf92016-04-03 14:16:08 +0100185 # No additional parameters
186 die $usage if @ARGV;
187
188 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100189 elsif ($action eq "unset" || $action eq "get") {
SimonB60f2cf92016-04-03 14:16:08 +0100190 die $usage unless @ARGV;
191 $name = shift;
192
193 }
194 elsif ($action eq "set") {
195 die $usage unless @ARGV;
196 $name = shift;
197 $value = shift if @ARGV;
198
199 }
200 else {
201 die "Command '$action' not recognised.\n\n".$usage;
202 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200203 }
204}
205
Simon Butcher3d265132016-06-23 21:57:06 +0100206# If no command was specified, exit...
207if ( not defined($action) ){ die $usage; }
208
SimonB60f2cf92016-04-03 14:16:08 +0100209# Check the config file is present
210if (! -f $config_file) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200211
SimonB60f2cf92016-04-03 14:16:08 +0100212 chdir '..' or die;
213
214 # Confirm this is the project root directory and try again
215 if ( !(-d 'scripts' && -d 'include' && -d 'library' && -f $config_file) ) {
216 die "If no file specified, must be run from the project root or scripts directory.\n";
217 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200218}
SimonB60f2cf92016-04-03 14:16:08 +0100219
220
221# Now read the file and process the contents
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200222
223open my $config_read, '<', $config_file or die "read $config_file: $!\n";
224my @config_lines = <$config_read>;
225close $config_read;
226
Azim Khan0d445732017-12-21 09:28:39 +0000227# Add required baremetal symbols to the list that is included.
228if ( $action eq "baremetal" ) {
229 @non_excluded = ( @non_excluded, @non_excluded_baremetal );
230}
231
232my ($exclude_re, $no_exclude_re, $exclude_baremetal_re);
Manuel Pégourié-Gonnard1989caf2016-01-04 12:57:32 +0100233if ($action eq "realfull") {
234 $exclude_re = qr/^$/;
235 $no_exclude_re = qr/./;
236} else {
237 $exclude_re = join '|', @excluded;
238 $no_exclude_re = join '|', @non_excluded;
239}
Azim Khan0d445732017-12-21 09:28:39 +0000240if ( $action eq "baremetal" ) {
241 $exclude_baremetal_re = join '|', @excluded_baremetal;
242}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200243
Gilles Peskine01f57e32017-10-09 16:54:28 +0200244my $config_write = undef;
245if ($action ne "get") {
246 open $config_write, '>', $config_file or die "write $config_file: $!\n";
247}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200248
249my $done;
250for my $line (@config_lines) {
Azim Khan0d445732017-12-21 09:28:39 +0000251 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200252 if ($line =~ /name SECTION: Module configuration options/) {
253 $done = 1;
254 }
255
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100256 if (!$done && $line =~ m!^//\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000257 ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
258 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100259 $line =~ s!^//\s?!!;
260 }
Manuel Pégourié-Gonnard7ee5ddd2015-06-03 10:33:55 +0100261 if (!$done && $line =~ m!^\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000262 ! ( ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
263 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100264 $line =~ s!^!//!;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200265 }
266 } elsif ($action eq "unset") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200267 if (!$done && $line =~ /^\s*#define\s*$name\b/) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200268 $line = '//' . $line;
269 $done = 1;
270 }
271 } elsif (!$done && $action eq "set") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200272 if ($line =~ m!^(?://)?\s*#define\s*$name\b!) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200273 $line = "#define $name";
274 $line .= " $value" if defined $value && $value ne "";
275 $line .= "\n";
276 $done = 1;
277 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100278 } elsif (!$done && $action eq "get") {
Gilles Peskinef0f55cc2017-10-09 16:51:24 +0200279 if ($line =~ /^\s*#define\s*$name(?:\s+(.*?))\s*(?:$|\/\*|\/\/)/) {
Simon Butcher4ae86912016-06-21 10:09:25 +0100280 $value = $1;
281 $done = 1;
282 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200283 }
284
Gilles Peskine01f57e32017-10-09 16:54:28 +0200285 if (defined $config_write) {
Gilles Peskine8ca0e8f2017-10-10 11:26:45 +0200286 print $config_write $line or die "write $config_file: $!\n";
Gilles Peskine01f57e32017-10-09 16:54:28 +0200287 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200288}
289
SimonB60f2cf92016-04-03 14:16:08 +0100290# Did the set command work?
Gilles Peskined98e9e82017-10-09 16:56:18 +0200291if ($action eq "set" && $force_option && !$done) {
SimonB60f2cf92016-04-03 14:16:08 +0100292
293 # If the force option was set, append the symbol to the end of the file
294 my $line = "#define $name";
295 $line .= " $value" if defined $value && $value ne "";
296 $line .= "\n";
297 $done = 1;
298
Gilles Peskine01f57e32017-10-09 16:54:28 +0200299 print $config_write $line or die "write $config_file: $!\n";
SimonB60f2cf92016-04-03 14:16:08 +0100300}
301
Gilles Peskine01f57e32017-10-09 16:54:28 +0200302if (defined $config_write) {
303 close $config_write or die "close $config_file: $!\n";
304}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200305
Simon Butcherdd9895d2016-06-21 15:12:00 +0100306if ($action eq "get") {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200307 if ($done) {
Simon Butcherdd9895d2016-06-21 15:12:00 +0100308 if ($value ne '') {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200309 print "$value\n";
Simon Butcherdd9895d2016-06-21 15:12:00 +0100310 }
311 exit 0;
312 } else {
313 # If the symbol was not found, return an error
Gilles Peskined98e9e82017-10-09 16:56:18 +0200314 exit 1;
Simon Butcher4ae86912016-06-21 10:09:25 +0100315 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100316}
317
SimonB60f2cf92016-04-03 14:16:08 +0100318if ($action eq "full" && !$done) {
319 die "Configuration section was not found in $config_file\n";
320
321}
322
323if ($action ne "full" && $action ne "unset" && !$done) {
324 die "A #define for the symbol $name was not found in $config_file\n";
325}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200326
327__END__