blob: 817c67941d7efe66155792aad690a4ec3158348d [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
Hanno Becker307dfcd2019-02-26 13:51:00 +000026# MBEDTLS_MEMORY_BACKTRACE
27# MBEDTLS_MEMORY_BUFFER_ALLOC_C
SimonB60f2cf92016-04-03 14:16:08 +010028# MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
29# MBEDTLS_NO_PLATFORM_ENTROPY
30# MBEDTLS_REMOVE_ARC4_CIPHERSUITES
Andres Amaya Garcia5d8aade2018-10-30 18:21:41 +000031# MBEDTLS_REMOVE_3DES_CIPHERSUITES
SimonB60f2cf92016-04-03 14:16:08 +010032# MBEDTLS_SSL_HW_RECORD_ACCEL
Hanno Becker7c0f17d2017-09-28 11:49:46 +010033# MBEDTLS_RSA_NO_CRT
SimonB60f2cf92016-04-03 14:16:08 +010034# MBEDTLS_X509_ALLOW_EXTENSIONS_NON_V3
35# MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION
36# - this could be enabled if the respective tests were adapted
37# MBEDTLS_ZLIB_SUPPORT
38# MBEDTLS_PKCS11_C
Andrzej Kurek87621012019-09-09 05:25:05 -040039# MBEDTLS_NO_UDBL_DIVISION
40# MBEDTLS_NO_64BIT_MULTIPLICATION
SimonB60f2cf92016-04-03 14:16:08 +010041# and any symbol beginning _ALT
42#
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020043
44use warnings;
45use strict;
46
SimonB60f2cf92016-04-03 14:16:08 +010047my $config_file = "include/mbedtls/config.h";
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020048my $usage = <<EOU;
SimonB60f2cf92016-04-03 14:16:08 +010049$0 [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010050 [set <symbol> <value> | unset <symbol> | get <symbol> |
Azim Khanc3c3a682017-12-21 15:19:53 +000051 full | realfull | baremetal]
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020052
SimonB60f2cf92016-04-03 14:16:08 +010053Commands
Simon Butcher4ae86912016-06-21 10:09:25 +010054 set <symbol> [<value>] - Uncomments or adds a #define for the <symbol> to
SimonB60f2cf92016-04-03 14:16:08 +010055 the configuration file, and optionally making it
56 of <value>.
57 If the symbol isn't present in the file an error
58 is returned.
Simon Butcher4ae86912016-06-21 10:09:25 +010059 unset <symbol> - Comments out the #define for the given symbol if
60 present in the configuration file.
61 get <symbol> - Finds the #define for the given symbol, returning
Gilles Peskined98e9e82017-10-09 16:56:18 +020062 an exitcode of 0 if the symbol is found, and 1 if
Simon Butcher4ae86912016-06-21 10:09:25 +010063 not. The value of the symbol is output if one is
64 specified in the configuration file.
SimonB60f2cf92016-04-03 14:16:08 +010065 full - Uncomments all #define's in the configuration file
Simon Butcher4ae86912016-06-21 10:09:25 +010066 excluding some reserved symbols, until the
SimonB60f2cf92016-04-03 14:16:08 +010067 'Module configuration options' section
68 realfull - Uncomments all #define's with no exclusions
Azim Khanc3c3a682017-12-21 15:19:53 +000069 baremetal - Sets full configuration suitable for baremetal build.
SimonB60f2cf92016-04-03 14:16:08 +010070
71Options
72 -f | --file <filename> - The file or file path for the configuration file
73 to edit. When omitted, the following default is
74 used:
75 $config_file
76 -o | --force - If the symbol isn't present in the configuration
Brian J Murray2adecba2016-11-06 04:45:15 -080077 file when setting its value, a #define is
SimonB60f2cf92016-04-03 14:16:08 +010078 appended to the end of the file.
79
80EOU
81
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020082my @excluded = qw(
Simon Butcherab5df402016-06-11 02:31:21 +010083MBEDTLS_TEST_NULL_ENTROPY
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020084MBEDTLS_DEPRECATED_REMOVED
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020085MBEDTLS_HAVE_SSE2
86MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
Gilles Peskine16ee3c12019-10-07 15:57:50 +020087MBEDTLS_CTR_DRBG_USE_128_BIT_KEY
Hanno Beckerdfc97442019-06-03 16:33:18 +010088MBEDTLS_MEMORY_DEBUG
Hanno Becker307dfcd2019-02-26 13:51:00 +000089MBEDTLS_MEMORY_BACKTRACE
90MBEDTLS_MEMORY_BUFFER_ALLOC_C
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020091MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
92MBEDTLS_NO_PLATFORM_ENTROPY
Hanno Becker7c0f17d2017-09-28 11:49:46 +010093MBEDTLS_RSA_NO_CRT
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020094MBEDTLS_REMOVE_ARC4_CIPHERSUITES
Andres Amaya Garcia5d8aade2018-10-30 18:21:41 +000095MBEDTLS_REMOVE_3DES_CIPHERSUITES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020096MBEDTLS_SSL_HW_RECORD_ACCEL
97MBEDTLS_X509_ALLOW_EXTENSIONS_NON_V3
98MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION
99MBEDTLS_ZLIB_SUPPORT
100MBEDTLS_PKCS11_C
Azim Khanc4e96942017-12-21 15:22:37 +0000101MBEDTLS_NO_UDBL_DIVISION
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +0200102MBEDTLS_NO_64BIT_MULTIPLICATION
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200103_ALT\s*$
104);
105
Azim Khan0d445732017-12-21 09:28:39 +0000106# Things that should be disabled in "baremetal"
107my @excluded_baremetal = qw(
108MBEDTLS_NET_C
109MBEDTLS_TIMING_C
110MBEDTLS_FS_IO
111MBEDTLS_ENTROPY_NV_SEED
112MBEDTLS_HAVE_TIME
113MBEDTLS_HAVE_TIME_DATE
114MBEDTLS_DEPRECATED_WARNING
115MBEDTLS_HAVEGE_C
116MBEDTLS_THREADING_C
117MBEDTLS_THREADING_PTHREAD
118MBEDTLS_MEMORY_BACKTRACE
119MBEDTLS_MEMORY_BUFFER_ALLOC_C
120MBEDTLS_PLATFORM_TIME_ALT
121MBEDTLS_PLATFORM_FPRINTF_ALT
122);
123
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100124# Things that should be enabled in "full" even if they match @excluded
125my @non_excluded = qw(
126PLATFORM_[A-Z0-9]+_ALT
127);
128
Azim Khan0d445732017-12-21 09:28:39 +0000129# Things that should be enabled in "baremetal"
130my @non_excluded_baremetal = qw(
131MBEDTLS_NO_PLATFORM_ENTROPY
132);
133
SimonB60f2cf92016-04-03 14:16:08 +0100134# Process the command line arguments
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200135
SimonB60f2cf92016-04-03 14:16:08 +0100136my $force_option = 0;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200137
SimonB60f2cf92016-04-03 14:16:08 +0100138my ($arg, $name, $value, $action);
139
SimonB73883c12016-04-04 13:49:10 +0100140while ($arg = shift) {
SimonB60f2cf92016-04-03 14:16:08 +0100141
142 # Check if the argument is an option
SimonB73883c12016-04-04 13:49:10 +0100143 if ($arg eq "-f" || $arg eq "--file") {
SimonB60f2cf92016-04-03 14:16:08 +0100144 $config_file = shift;
145
146 -f $config_file or die "No such file: $config_file\n";
147
148 }
SimonB73883c12016-04-04 13:49:10 +0100149 elsif ($arg eq "-o" || $arg eq "--force") {
SimonB60f2cf92016-04-03 14:16:08 +0100150 $force_option = 1;
151
152 }
153 else
154 {
155 # ...else assume it's a command
156 $action = $arg;
157
Azim Khan0d445732017-12-21 09:28:39 +0000158 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
SimonB60f2cf92016-04-03 14:16:08 +0100159 # No additional parameters
160 die $usage if @ARGV;
161
162 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100163 elsif ($action eq "unset" || $action eq "get") {
SimonB60f2cf92016-04-03 14:16:08 +0100164 die $usage unless @ARGV;
165 $name = shift;
166
167 }
168 elsif ($action eq "set") {
169 die $usage unless @ARGV;
170 $name = shift;
171 $value = shift if @ARGV;
172
173 }
174 else {
175 die "Command '$action' not recognised.\n\n".$usage;
176 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200177 }
178}
179
Simon Butcher3d265132016-06-23 21:57:06 +0100180# If no command was specified, exit...
181if ( not defined($action) ){ die $usage; }
182
SimonB60f2cf92016-04-03 14:16:08 +0100183# Check the config file is present
184if (! -f $config_file) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200185
SimonB60f2cf92016-04-03 14:16:08 +0100186 chdir '..' or die;
187
188 # Confirm this is the project root directory and try again
189 if ( !(-d 'scripts' && -d 'include' && -d 'library' && -f $config_file) ) {
190 die "If no file specified, must be run from the project root or scripts directory.\n";
191 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200192}
SimonB60f2cf92016-04-03 14:16:08 +0100193
194
195# Now read the file and process the contents
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200196
197open my $config_read, '<', $config_file or die "read $config_file: $!\n";
198my @config_lines = <$config_read>;
199close $config_read;
200
Azim Khan0d445732017-12-21 09:28:39 +0000201# Add required baremetal symbols to the list that is included.
202if ( $action eq "baremetal" ) {
203 @non_excluded = ( @non_excluded, @non_excluded_baremetal );
204}
205
206my ($exclude_re, $no_exclude_re, $exclude_baremetal_re);
Manuel Pégourié-Gonnard1989caf2016-01-04 12:57:32 +0100207if ($action eq "realfull") {
208 $exclude_re = qr/^$/;
209 $no_exclude_re = qr/./;
210} else {
211 $exclude_re = join '|', @excluded;
212 $no_exclude_re = join '|', @non_excluded;
213}
Azim Khan0d445732017-12-21 09:28:39 +0000214if ( $action eq "baremetal" ) {
215 $exclude_baremetal_re = join '|', @excluded_baremetal;
216}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200217
Gilles Peskine01f57e32017-10-09 16:54:28 +0200218my $config_write = undef;
219if ($action ne "get") {
220 open $config_write, '>', $config_file or die "write $config_file: $!\n";
221}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200222
223my $done;
224for my $line (@config_lines) {
Azim Khan0d445732017-12-21 09:28:39 +0000225 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200226 if ($line =~ /name SECTION: Module configuration options/) {
227 $done = 1;
228 }
229
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100230 if (!$done && $line =~ m!^//\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000231 ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
232 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100233 $line =~ s!^//\s?!!;
234 }
Manuel Pégourié-Gonnard7ee5ddd2015-06-03 10:33:55 +0100235 if (!$done && $line =~ m!^\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000236 ! ( ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
237 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100238 $line =~ s!^!//!;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200239 }
240 } elsif ($action eq "unset") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200241 if (!$done && $line =~ /^\s*#define\s*$name\b/) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200242 $line = '//' . $line;
243 $done = 1;
244 }
245 } elsif (!$done && $action eq "set") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200246 if ($line =~ m!^(?://)?\s*#define\s*$name\b!) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200247 $line = "#define $name";
248 $line .= " $value" if defined $value && $value ne "";
249 $line .= "\n";
250 $done = 1;
251 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100252 } elsif (!$done && $action eq "get") {
Gilles Peskinef0f55cc2017-10-09 16:51:24 +0200253 if ($line =~ /^\s*#define\s*$name(?:\s+(.*?))\s*(?:$|\/\*|\/\/)/) {
Simon Butcher4ae86912016-06-21 10:09:25 +0100254 $value = $1;
255 $done = 1;
256 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200257 }
258
Gilles Peskine01f57e32017-10-09 16:54:28 +0200259 if (defined $config_write) {
Gilles Peskine8ca0e8f2017-10-10 11:26:45 +0200260 print $config_write $line or die "write $config_file: $!\n";
Gilles Peskine01f57e32017-10-09 16:54:28 +0200261 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200262}
263
SimonB60f2cf92016-04-03 14:16:08 +0100264# Did the set command work?
Gilles Peskined98e9e82017-10-09 16:56:18 +0200265if ($action eq "set" && $force_option && !$done) {
SimonB60f2cf92016-04-03 14:16:08 +0100266
267 # If the force option was set, append the symbol to the end of the file
268 my $line = "#define $name";
269 $line .= " $value" if defined $value && $value ne "";
270 $line .= "\n";
271 $done = 1;
272
Gilles Peskine01f57e32017-10-09 16:54:28 +0200273 print $config_write $line or die "write $config_file: $!\n";
SimonB60f2cf92016-04-03 14:16:08 +0100274}
275
Gilles Peskine01f57e32017-10-09 16:54:28 +0200276if (defined $config_write) {
277 close $config_write or die "close $config_file: $!\n";
278}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200279
Simon Butcherdd9895d2016-06-21 15:12:00 +0100280if ($action eq "get") {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200281 if ($done) {
Simon Butcherdd9895d2016-06-21 15:12:00 +0100282 if ($value ne '') {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200283 print "$value\n";
Simon Butcherdd9895d2016-06-21 15:12:00 +0100284 }
285 exit 0;
286 } else {
287 # If the symbol was not found, return an error
Gilles Peskined98e9e82017-10-09 16:56:18 +0200288 exit 1;
Simon Butcher4ae86912016-06-21 10:09:25 +0100289 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100290}
291
SimonB60f2cf92016-04-03 14:16:08 +0100292if ($action eq "full" && !$done) {
293 die "Configuration section was not found in $config_file\n";
294
295}
296
297if ($action ne "full" && $action ne "unset" && !$done) {
298 die "A #define for the symbol $name was not found in $config_file\n";
299}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200300
301__END__