blob: 8f16abe8be47f0d40e825dc3a62ecf7f42a93fd6 [file] [log] [blame]
fbrosson3a745712018-04-04 22:26:56 +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 Beckere856e842018-03-09 10:47:01 +000020# The following options are disabled instead of enabled with "full".
SimonB60f2cf92016-04-03 14:16:08 +010021#
Gilles Peskinef48d4682020-04-28 10:26:43 +020022# * Options that require additional build dependencies or unusual hardware.
23# * Options that make testing less effective.
24# * Options that are incompatible with other options, or more generally that
25# interact with other parts of the code in such a way that a bulk enabling
26# is not a good way to test them.
27# * Options that remove features.
SimonB60f2cf92016-04-03 14:16:08 +010028#
Gilles Peskinef48d4682020-04-28 10:26:43 +020029# The baremetal configuration excludes options that require a library or
30# operating system feature that is typically not present on bare metal
31# systems. Features that are excluded from "full" won't be in "baremetal"
32# either.
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020033
34use warnings;
35use strict;
36
SimonB60f2cf92016-04-03 14:16:08 +010037my $config_file = "include/mbedtls/config.h";
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020038my $usage = <<EOU;
SimonB60f2cf92016-04-03 14:16:08 +010039$0 [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010040 [set <symbol> <value> | unset <symbol> | get <symbol> |
Azim Khanc3c3a682017-12-21 15:19:53 +000041 full | realfull | baremetal]
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020042
SimonB60f2cf92016-04-03 14:16:08 +010043Commands
Simon Butcher4ae86912016-06-21 10:09:25 +010044 set <symbol> [<value>] - Uncomments or adds a #define for the <symbol> to
SimonB60f2cf92016-04-03 14:16:08 +010045 the configuration file, and optionally making it
46 of <value>.
47 If the symbol isn't present in the file an error
48 is returned.
Simon Butcher4ae86912016-06-21 10:09:25 +010049 unset <symbol> - Comments out the #define for the given symbol if
50 present in the configuration file.
51 get <symbol> - Finds the #define for the given symbol, returning
Gilles Peskined98e9e82017-10-09 16:56:18 +020052 an exitcode of 0 if the symbol is found, and 1 if
Simon Butcher4ae86912016-06-21 10:09:25 +010053 not. The value of the symbol is output if one is
54 specified in the configuration file.
SimonB60f2cf92016-04-03 14:16:08 +010055 full - Uncomments all #define's in the configuration file
Simon Butcher4ae86912016-06-21 10:09:25 +010056 excluding some reserved symbols, until the
SimonB60f2cf92016-04-03 14:16:08 +010057 'Module configuration options' section
58 realfull - Uncomments all #define's with no exclusions
Azim Khanc3c3a682017-12-21 15:19:53 +000059 baremetal - Sets full configuration suitable for baremetal build.
SimonB60f2cf92016-04-03 14:16:08 +010060
61Options
62 -f | --file <filename> - The file or file path for the configuration file
63 to edit. When omitted, the following default is
64 used:
65 $config_file
66 -o | --force - If the symbol isn't present in the configuration
Brian J Murray2adecba2016-11-06 04:45:15 -080067 file when setting its value, a #define is
SimonB60f2cf92016-04-03 14:16:08 +010068 appended to the end of the file.
69
70EOU
71
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020072my @excluded = qw(
Simon Butcherab5df402016-06-11 02:31:21 +010073MBEDTLS_TEST_NULL_ENTROPY
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020074MBEDTLS_DEPRECATED_REMOVED
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020075MBEDTLS_HAVE_SSE2
76MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
Hanno Becker19aa89a2019-06-03 16:33:18 +010077MBEDTLS_MEMORY_DEBUG
Hanno Becker26c333a2019-02-26 13:51:00 +000078MBEDTLS_MEMORY_BACKTRACE
79MBEDTLS_MEMORY_BUFFER_ALLOC_C
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020080MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
81MBEDTLS_NO_PLATFORM_ENTROPY
Hanno Beckere856e842018-03-09 10:47:01 +000082MBEDTLS_RSA_NO_CRT
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020083MBEDTLS_REMOVE_ARC4_CIPHERSUITES
Andres Amaya Garcia21ade062018-10-30 18:21:41 +000084MBEDTLS_REMOVE_3DES_CIPHERSUITES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020085MBEDTLS_SSL_HW_RECORD_ACCEL
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020086MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION
87MBEDTLS_ZLIB_SUPPORT
88MBEDTLS_PKCS11_C
Azim Khanc4e96942017-12-21 15:22:37 +000089MBEDTLS_NO_UDBL_DIVISION
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020090_ALT\s*$
91);
92
Azim Khan0d445732017-12-21 09:28:39 +000093# Things that should be disabled in "baremetal"
94my @excluded_baremetal = qw(
95MBEDTLS_NET_C
96MBEDTLS_TIMING_C
97MBEDTLS_FS_IO
98MBEDTLS_ENTROPY_NV_SEED
99MBEDTLS_HAVE_TIME
100MBEDTLS_HAVE_TIME_DATE
101MBEDTLS_DEPRECATED_WARNING
102MBEDTLS_HAVEGE_C
103MBEDTLS_THREADING_C
104MBEDTLS_THREADING_PTHREAD
105MBEDTLS_MEMORY_BACKTRACE
106MBEDTLS_MEMORY_BUFFER_ALLOC_C
107MBEDTLS_PLATFORM_TIME_ALT
108MBEDTLS_PLATFORM_FPRINTF_ALT
109);
110
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100111# Things that should be enabled in "full" even if they match @excluded
112my @non_excluded = qw(
113PLATFORM_[A-Z0-9]+_ALT
114);
115
Azim Khan0d445732017-12-21 09:28:39 +0000116# Things that should be enabled in "baremetal"
117my @non_excluded_baremetal = qw(
118MBEDTLS_NO_PLATFORM_ENTROPY
119);
120
SimonB60f2cf92016-04-03 14:16:08 +0100121# Process the command line arguments
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200122
SimonB60f2cf92016-04-03 14:16:08 +0100123my $force_option = 0;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200124
SimonB60f2cf92016-04-03 14:16:08 +0100125my ($arg, $name, $value, $action);
126
SimonB73883c12016-04-04 13:49:10 +0100127while ($arg = shift) {
SimonB60f2cf92016-04-03 14:16:08 +0100128
129 # Check if the argument is an option
SimonB73883c12016-04-04 13:49:10 +0100130 if ($arg eq "-f" || $arg eq "--file") {
SimonB60f2cf92016-04-03 14:16:08 +0100131 $config_file = shift;
132
133 -f $config_file or die "No such file: $config_file\n";
134
135 }
SimonB73883c12016-04-04 13:49:10 +0100136 elsif ($arg eq "-o" || $arg eq "--force") {
SimonB60f2cf92016-04-03 14:16:08 +0100137 $force_option = 1;
138
139 }
140 else
141 {
142 # ...else assume it's a command
143 $action = $arg;
144
Azim Khan0d445732017-12-21 09:28:39 +0000145 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
SimonB60f2cf92016-04-03 14:16:08 +0100146 # No additional parameters
147 die $usage if @ARGV;
148
149 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100150 elsif ($action eq "unset" || $action eq "get") {
SimonB60f2cf92016-04-03 14:16:08 +0100151 die $usage unless @ARGV;
152 $name = shift;
153
154 }
155 elsif ($action eq "set") {
156 die $usage unless @ARGV;
157 $name = shift;
158 $value = shift if @ARGV;
159
160 }
161 else {
162 die "Command '$action' not recognised.\n\n".$usage;
163 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200164 }
165}
166
Simon Butcher3d265132016-06-23 21:57:06 +0100167# If no command was specified, exit...
168if ( not defined($action) ){ die $usage; }
169
SimonB60f2cf92016-04-03 14:16:08 +0100170# Check the config file is present
171if (! -f $config_file) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200172
SimonB60f2cf92016-04-03 14:16:08 +0100173 chdir '..' or die;
174
175 # Confirm this is the project root directory and try again
176 if ( !(-d 'scripts' && -d 'include' && -d 'library' && -f $config_file) ) {
177 die "If no file specified, must be run from the project root or scripts directory.\n";
178 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200179}
SimonB60f2cf92016-04-03 14:16:08 +0100180
181
182# Now read the file and process the contents
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200183
184open my $config_read, '<', $config_file or die "read $config_file: $!\n";
185my @config_lines = <$config_read>;
186close $config_read;
187
Azim Khan0d445732017-12-21 09:28:39 +0000188# Add required baremetal symbols to the list that is included.
189if ( $action eq "baremetal" ) {
190 @non_excluded = ( @non_excluded, @non_excluded_baremetal );
191}
192
193my ($exclude_re, $no_exclude_re, $exclude_baremetal_re);
Manuel Pégourié-Gonnard1989caf2016-01-04 12:57:32 +0100194if ($action eq "realfull") {
195 $exclude_re = qr/^$/;
196 $no_exclude_re = qr/./;
197} else {
198 $exclude_re = join '|', @excluded;
199 $no_exclude_re = join '|', @non_excluded;
200}
Azim Khan0d445732017-12-21 09:28:39 +0000201if ( $action eq "baremetal" ) {
202 $exclude_baremetal_re = join '|', @excluded_baremetal;
203}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200204
Gilles Peskine01f57e32017-10-09 16:54:28 +0200205my $config_write = undef;
206if ($action ne "get") {
207 open $config_write, '>', $config_file or die "write $config_file: $!\n";
208}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200209
210my $done;
211for my $line (@config_lines) {
Azim Khan0d445732017-12-21 09:28:39 +0000212 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200213 if ($line =~ /name SECTION: Module configuration options/) {
214 $done = 1;
215 }
216
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100217 if (!$done && $line =~ m!^//\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000218 ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
219 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100220 $line =~ s!^//\s?!!;
221 }
Manuel Pégourié-Gonnard7ee5ddd2015-06-03 10:33:55 +0100222 if (!$done && $line =~ m!^\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000223 ! ( ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
224 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100225 $line =~ s!^!//!;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200226 }
227 } elsif ($action eq "unset") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200228 if (!$done && $line =~ /^\s*#define\s*$name\b/) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200229 $line = '//' . $line;
230 $done = 1;
231 }
232 } elsif (!$done && $action eq "set") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200233 if ($line =~ m!^(?://)?\s*#define\s*$name\b!) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200234 $line = "#define $name";
235 $line .= " $value" if defined $value && $value ne "";
236 $line .= "\n";
237 $done = 1;
238 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100239 } elsif (!$done && $action eq "get") {
Gilles Peskinef0f55cc2017-10-09 16:51:24 +0200240 if ($line =~ /^\s*#define\s*$name(?:\s+(.*?))\s*(?:$|\/\*|\/\/)/) {
Simon Butcher4ae86912016-06-21 10:09:25 +0100241 $value = $1;
242 $done = 1;
243 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200244 }
245
Gilles Peskine01f57e32017-10-09 16:54:28 +0200246 if (defined $config_write) {
Gilles Peskine8ca0e8f2017-10-10 11:26:45 +0200247 print $config_write $line or die "write $config_file: $!\n";
Gilles Peskine01f57e32017-10-09 16:54:28 +0200248 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200249}
250
SimonB60f2cf92016-04-03 14:16:08 +0100251# Did the set command work?
Gilles Peskined98e9e82017-10-09 16:56:18 +0200252if ($action eq "set" && $force_option && !$done) {
SimonB60f2cf92016-04-03 14:16:08 +0100253
254 # If the force option was set, append the symbol to the end of the file
255 my $line = "#define $name";
256 $line .= " $value" if defined $value && $value ne "";
257 $line .= "\n";
258 $done = 1;
259
Gilles Peskine01f57e32017-10-09 16:54:28 +0200260 print $config_write $line or die "write $config_file: $!\n";
SimonB60f2cf92016-04-03 14:16:08 +0100261}
262
Gilles Peskine01f57e32017-10-09 16:54:28 +0200263if (defined $config_write) {
264 close $config_write or die "close $config_file: $!\n";
265}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200266
Simon Butcherdd9895d2016-06-21 15:12:00 +0100267if ($action eq "get") {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200268 if ($done) {
Simon Butcherdd9895d2016-06-21 15:12:00 +0100269 if ($value ne '') {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200270 print "$value\n";
Simon Butcherdd9895d2016-06-21 15:12:00 +0100271 }
272 exit 0;
273 } else {
274 # If the symbol was not found, return an error
Gilles Peskined98e9e82017-10-09 16:56:18 +0200275 exit 1;
Simon Butcher4ae86912016-06-21 10:09:25 +0100276 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100277}
278
SimonB60f2cf92016-04-03 14:16:08 +0100279if ($action eq "full" && !$done) {
280 die "Configuration section was not found in $config_file\n";
281
282}
283
284if ($action ne "full" && $action ne "unset" && !$done) {
285 die "A #define for the symbol $name was not found in $config_file\n";
286}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200287
288__END__