blob: 35a0af22dc24521e59225b1af8174f44f9466d15 [file] [log] [blame]
fbrosson533407a2018-04-04 21:44:29 +00001#!/usr/bin/env perl
SimonB60f2cf92016-04-03 14:16:08 +01002#
Bence Szépkútia2947ac2020-08-19 16:37:36 +02003# Copyright The Mbed TLS Contributors
Bence Szépkútif744bd72020-06-05 13:02:18 +02004# SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
5#
6# This file is provided under the Apache License 2.0, or the
7# GNU General Public License v2.0 or later.
8#
9# **********
10# Apache License 2.0:
Bence Szépkúti51b41d52020-05-26 01:54:15 +020011#
12# Licensed under the Apache License, Version 2.0 (the "License"); you may
13# not use this file except in compliance with the License.
14# You may obtain a copy of the License at
15#
16# http://www.apache.org/licenses/LICENSE-2.0
17#
18# Unless required by applicable law or agreed to in writing, software
19# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
20# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
21# See the License for the specific language governing permissions and
22# limitations under the License.
23#
Bence Szépkútif744bd72020-06-05 13:02:18 +020024# **********
25#
26# **********
27# GNU General Public License v2.0 or later:
28#
29# This program is free software; you can redistribute it and/or modify
30# it under the terms of the GNU General Public License as published by
31# the Free Software Foundation; either version 2 of the License, or
32# (at your option) any later version.
33#
34# This program is distributed in the hope that it will be useful,
35# but WITHOUT ANY WARRANTY; without even the implied warranty of
36# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
37# GNU General Public License for more details.
38#
39# You should have received a copy of the GNU General Public License along
40# with this program; if not, write to the Free Software Foundation, Inc.,
41# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
42#
43# **********
44#
SimonB60f2cf92016-04-03 14:16:08 +010045# Purpose
46#
47# Comments and uncomments #define lines in the given header file and optionally
Simon Butcher4ae86912016-06-21 10:09:25 +010048# sets their value or can get the value. This is to provide scripting control of
49# what preprocessor symbols, and therefore what build time configuration flags
50# are set in the 'config.h' file.
SimonB60f2cf92016-04-03 14:16:08 +010051#
52# Usage: config.pl [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010053# [set <symbol> <value> | unset <symbol> | get <symbol> |
54# full | realfull]
SimonB60f2cf92016-04-03 14:16:08 +010055#
56# Full usage description provided below.
57#
Hanno Becker7c0f17d2017-09-28 11:49:46 +010058# The following options are disabled instead of enabled with "full".
SimonB60f2cf92016-04-03 14:16:08 +010059#
Gilles Peskine108ebf22020-04-28 10:26:43 +020060# * Options that require additional build dependencies or unusual hardware.
61# * Options that make testing less effective.
62# * Options that are incompatible with other options, or more generally that
63# interact with other parts of the code in such a way that a bulk enabling
64# is not a good way to test them.
65# * Options that remove features.
SimonB60f2cf92016-04-03 14:16:08 +010066#
Gilles Peskine108ebf22020-04-28 10:26:43 +020067# The baremetal configuration excludes options that require a library or
68# operating system feature that is typically not present on bare metal
Gilles Peskinebab7ef42021-04-16 16:06:32 +020069# systems. It also excludes debugging features that increase the code size
70# of other modules.
71# Features that are excluded from "full" won't be in "baremetal" either.
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020072
73use warnings;
74use strict;
75
SimonB60f2cf92016-04-03 14:16:08 +010076my $config_file = "include/mbedtls/config.h";
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020077my $usage = <<EOU;
SimonB60f2cf92016-04-03 14:16:08 +010078$0 [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010079 [set <symbol> <value> | unset <symbol> | get <symbol> |
Azim Khanc3c3a682017-12-21 15:19:53 +000080 full | realfull | baremetal]
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020081
SimonB60f2cf92016-04-03 14:16:08 +010082Commands
Simon Butcher4ae86912016-06-21 10:09:25 +010083 set <symbol> [<value>] - Uncomments or adds a #define for the <symbol> to
SimonB60f2cf92016-04-03 14:16:08 +010084 the configuration file, and optionally making it
85 of <value>.
86 If the symbol isn't present in the file an error
87 is returned.
Simon Butcher4ae86912016-06-21 10:09:25 +010088 unset <symbol> - Comments out the #define for the given symbol if
89 present in the configuration file.
90 get <symbol> - Finds the #define for the given symbol, returning
Gilles Peskined98e9e82017-10-09 16:56:18 +020091 an exitcode of 0 if the symbol is found, and 1 if
Simon Butcher4ae86912016-06-21 10:09:25 +010092 not. The value of the symbol is output if one is
93 specified in the configuration file.
SimonB60f2cf92016-04-03 14:16:08 +010094 full - Uncomments all #define's in the configuration file
Simon Butcher4ae86912016-06-21 10:09:25 +010095 excluding some reserved symbols, until the
SimonB60f2cf92016-04-03 14:16:08 +010096 'Module configuration options' section
97 realfull - Uncomments all #define's with no exclusions
Azim Khanc3c3a682017-12-21 15:19:53 +000098 baremetal - Sets full configuration suitable for baremetal build.
SimonB60f2cf92016-04-03 14:16:08 +010099
100Options
101 -f | --file <filename> - The file or file path for the configuration file
102 to edit. When omitted, the following default is
103 used:
104 $config_file
105 -o | --force - If the symbol isn't present in the configuration
Brian J Murray2adecba2016-11-06 04:45:15 -0800106 file when setting its value, a #define is
SimonB60f2cf92016-04-03 14:16:08 +0100107 appended to the end of the file.
108
109EOU
110
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200111my @excluded = qw(
Gilles Peskined6189e12020-04-28 10:28:14 +0200112MBEDTLS_CTR_DRBG_USE_128_BIT_KEY
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200113MBEDTLS_DEPRECATED_REMOVED
Gilles Peskine1e8cafc2020-04-29 15:44:00 +0200114MBEDTLS_DEPRECATED_WARNING
Manuel Pégourié-Gonnard23983f32020-05-19 12:38:31 +0200115MBEDTLS_ECP_NO_INTERNAL_RNG
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116MBEDTLS_HAVE_SSE2
Hanno Becker307dfcd2019-02-26 13:51:00 +0000117MBEDTLS_MEMORY_BACKTRACE
118MBEDTLS_MEMORY_BUFFER_ALLOC_C
Gilles Peskined6189e12020-04-28 10:28:14 +0200119MBEDTLS_MEMORY_DEBUG
120MBEDTLS_NO_64BIT_MULTIPLICATION
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200121MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
122MBEDTLS_NO_PLATFORM_ENTROPY
Gilles Peskined6189e12020-04-28 10:28:14 +0200123MBEDTLS_NO_UDBL_DIVISION
124MBEDTLS_PKCS11_C
125MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
Andres Amaya Garcia5d8aade2018-10-30 18:21:41 +0000126MBEDTLS_REMOVE_3DES_CIPHERSUITES
Gilles Peskined6189e12020-04-28 10:28:14 +0200127MBEDTLS_REMOVE_ARC4_CIPHERSUITES
128MBEDTLS_RSA_NO_CRT
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200129MBEDTLS_SSL_HW_RECORD_ACCEL
Manuel Pégourié-Gonnarda2377222020-07-28 10:53:06 +0200130MBEDTLS_TEST_CONSTANT_FLOW_MEMSAN
Manuel Pégourié-Gonnardf0828472020-08-25 11:26:37 +0200131MBEDTLS_TEST_CONSTANT_FLOW_VALGRIND
Gilles Peskined6189e12020-04-28 10:28:14 +0200132MBEDTLS_TEST_NULL_ENTROPY
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200133MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION
134MBEDTLS_ZLIB_SUPPORT
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200135_ALT\s*$
136);
137
Azim Khan0d445732017-12-21 09:28:39 +0000138# Things that should be disabled in "baremetal"
139my @excluded_baremetal = qw(
Gilles Peskinebab7ef42021-04-16 16:06:32 +0200140MBEDTLS_DEBUG_C
Azim Khan0d445732017-12-21 09:28:39 +0000141MBEDTLS_ENTROPY_NV_SEED
Gilles Peskined6189e12020-04-28 10:28:14 +0200142MBEDTLS_FS_IO
143MBEDTLS_HAVEGE_C
Azim Khan0d445732017-12-21 09:28:39 +0000144MBEDTLS_HAVE_TIME
145MBEDTLS_HAVE_TIME_DATE
Azim Khan0d445732017-12-21 09:28:39 +0000146MBEDTLS_MEMORY_BACKTRACE
147MBEDTLS_MEMORY_BUFFER_ALLOC_C
Gilles Peskined6189e12020-04-28 10:28:14 +0200148MBEDTLS_NET_C
Azim Khan0d445732017-12-21 09:28:39 +0000149MBEDTLS_PLATFORM_FPRINTF_ALT
Gilles Peskinedf4f7c12020-04-28 10:41:20 +0200150MBEDTLS_PLATFORM_NV_SEED_ALT
Gilles Peskined6189e12020-04-28 10:28:14 +0200151MBEDTLS_PLATFORM_TIME_ALT
Gilles Peskinebab7ef42021-04-16 16:06:32 +0200152MBEDTLS_TEST_HOOKS
Gilles Peskined6189e12020-04-28 10:28:14 +0200153MBEDTLS_THREADING_C
154MBEDTLS_THREADING_PTHREAD
155MBEDTLS_TIMING_C
Azim Khan0d445732017-12-21 09:28:39 +0000156);
157
Gilles Peskinedf4f7c12020-04-28 10:41:20 +0200158# Things that should be enabled in "full" even if they match @excluded.
159# Platform ALTs enable global variables that allow configuring the behavior
160# but default to the default behavior, except for PLATFORM_SETUP_TEARDOWN_ALT
161# which requires the application to provide relevant functions like
162# non-platform ALTs.
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100163my @non_excluded = qw(
Gilles Peskinedf4f7c12020-04-28 10:41:20 +0200164PLATFORM_(?!SETUP_TEARDOWN_)[A-Z_0-9]+_ALT
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100165);
166
Azim Khan0d445732017-12-21 09:28:39 +0000167# Things that should be enabled in "baremetal"
168my @non_excluded_baremetal = qw(
169MBEDTLS_NO_PLATFORM_ENTROPY
170);
171
SimonB60f2cf92016-04-03 14:16:08 +0100172# Process the command line arguments
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200173
SimonB60f2cf92016-04-03 14:16:08 +0100174my $force_option = 0;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200175
SimonB60f2cf92016-04-03 14:16:08 +0100176my ($arg, $name, $value, $action);
177
SimonB73883c12016-04-04 13:49:10 +0100178while ($arg = shift) {
SimonB60f2cf92016-04-03 14:16:08 +0100179
180 # Check if the argument is an option
SimonB73883c12016-04-04 13:49:10 +0100181 if ($arg eq "-f" || $arg eq "--file") {
SimonB60f2cf92016-04-03 14:16:08 +0100182 $config_file = shift;
183
184 -f $config_file or die "No such file: $config_file\n";
185
186 }
SimonB73883c12016-04-04 13:49:10 +0100187 elsif ($arg eq "-o" || $arg eq "--force") {
SimonB60f2cf92016-04-03 14:16:08 +0100188 $force_option = 1;
189
190 }
191 else
192 {
193 # ...else assume it's a command
194 $action = $arg;
195
Azim Khan0d445732017-12-21 09:28:39 +0000196 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
SimonB60f2cf92016-04-03 14:16:08 +0100197 # No additional parameters
198 die $usage if @ARGV;
199
200 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100201 elsif ($action eq "unset" || $action eq "get") {
SimonB60f2cf92016-04-03 14:16:08 +0100202 die $usage unless @ARGV;
203 $name = shift;
204
205 }
206 elsif ($action eq "set") {
207 die $usage unless @ARGV;
208 $name = shift;
209 $value = shift if @ARGV;
210
211 }
212 else {
213 die "Command '$action' not recognised.\n\n".$usage;
214 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200215 }
216}
217
Simon Butcher3d265132016-06-23 21:57:06 +0100218# If no command was specified, exit...
219if ( not defined($action) ){ die $usage; }
220
SimonB60f2cf92016-04-03 14:16:08 +0100221# Check the config file is present
222if (! -f $config_file) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200223
SimonB60f2cf92016-04-03 14:16:08 +0100224 chdir '..' or die;
225
226 # Confirm this is the project root directory and try again
227 if ( !(-d 'scripts' && -d 'include' && -d 'library' && -f $config_file) ) {
228 die "If no file specified, must be run from the project root or scripts directory.\n";
229 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200230}
SimonB60f2cf92016-04-03 14:16:08 +0100231
232
233# Now read the file and process the contents
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200234
235open my $config_read, '<', $config_file or die "read $config_file: $!\n";
236my @config_lines = <$config_read>;
237close $config_read;
238
Azim Khan0d445732017-12-21 09:28:39 +0000239# Add required baremetal symbols to the list that is included.
240if ( $action eq "baremetal" ) {
241 @non_excluded = ( @non_excluded, @non_excluded_baremetal );
242}
243
244my ($exclude_re, $no_exclude_re, $exclude_baremetal_re);
Manuel Pégourié-Gonnard1989caf2016-01-04 12:57:32 +0100245if ($action eq "realfull") {
246 $exclude_re = qr/^$/;
247 $no_exclude_re = qr/./;
248} else {
249 $exclude_re = join '|', @excluded;
250 $no_exclude_re = join '|', @non_excluded;
251}
Azim Khan0d445732017-12-21 09:28:39 +0000252if ( $action eq "baremetal" ) {
253 $exclude_baremetal_re = join '|', @excluded_baremetal;
254}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200255
Gilles Peskine01f57e32017-10-09 16:54:28 +0200256my $config_write = undef;
257if ($action ne "get") {
258 open $config_write, '>', $config_file or die "write $config_file: $!\n";
259}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200260
261my $done;
262for my $line (@config_lines) {
Azim Khan0d445732017-12-21 09:28:39 +0000263 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200264 if ($line =~ /name SECTION: Module configuration options/) {
265 $done = 1;
266 }
267
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100268 if (!$done && $line =~ m!^//\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000269 ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
270 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100271 $line =~ s!^//\s?!!;
272 }
Manuel Pégourié-Gonnard7ee5ddd2015-06-03 10:33:55 +0100273 if (!$done && $line =~ m!^\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000274 ! ( ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
275 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100276 $line =~ s!^!//!;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200277 }
278 } elsif ($action eq "unset") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200279 if (!$done && $line =~ /^\s*#define\s*$name\b/) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200280 $line = '//' . $line;
281 $done = 1;
282 }
283 } elsif (!$done && $action eq "set") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200284 if ($line =~ m!^(?://)?\s*#define\s*$name\b!) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200285 $line = "#define $name";
286 $line .= " $value" if defined $value && $value ne "";
287 $line .= "\n";
288 $done = 1;
289 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100290 } elsif (!$done && $action eq "get") {
Gilles Peskinef0f55cc2017-10-09 16:51:24 +0200291 if ($line =~ /^\s*#define\s*$name(?:\s+(.*?))\s*(?:$|\/\*|\/\/)/) {
Simon Butcher4ae86912016-06-21 10:09:25 +0100292 $value = $1;
293 $done = 1;
294 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200295 }
296
Gilles Peskine01f57e32017-10-09 16:54:28 +0200297 if (defined $config_write) {
Gilles Peskine8ca0e8f2017-10-10 11:26:45 +0200298 print $config_write $line or die "write $config_file: $!\n";
Gilles Peskine01f57e32017-10-09 16:54:28 +0200299 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200300}
301
SimonB60f2cf92016-04-03 14:16:08 +0100302# Did the set command work?
Gilles Peskined98e9e82017-10-09 16:56:18 +0200303if ($action eq "set" && $force_option && !$done) {
SimonB60f2cf92016-04-03 14:16:08 +0100304
305 # If the force option was set, append the symbol to the end of the file
306 my $line = "#define $name";
307 $line .= " $value" if defined $value && $value ne "";
308 $line .= "\n";
309 $done = 1;
310
Gilles Peskine01f57e32017-10-09 16:54:28 +0200311 print $config_write $line or die "write $config_file: $!\n";
SimonB60f2cf92016-04-03 14:16:08 +0100312}
313
Gilles Peskine01f57e32017-10-09 16:54:28 +0200314if (defined $config_write) {
315 close $config_write or die "close $config_file: $!\n";
316}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200317
Simon Butcherdd9895d2016-06-21 15:12:00 +0100318if ($action eq "get") {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200319 if ($done) {
Simon Butcherdd9895d2016-06-21 15:12:00 +0100320 if ($value ne '') {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200321 print "$value\n";
Simon Butcherdd9895d2016-06-21 15:12:00 +0100322 }
323 exit 0;
324 } else {
325 # If the symbol was not found, return an error
Gilles Peskined98e9e82017-10-09 16:56:18 +0200326 exit 1;
Simon Butcher4ae86912016-06-21 10:09:25 +0100327 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100328}
329
SimonB60f2cf92016-04-03 14:16:08 +0100330if ($action eq "full" && !$done) {
331 die "Configuration section was not found in $config_file\n";
332
333}
334
335if ($action ne "full" && $action ne "unset" && !$done) {
336 die "A #define for the symbol $name was not found in $config_file\n";
337}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200338
339__END__