blob: febaa0b4bab3972f96f825526eb5c0a7f1260c88 [file] [log] [blame]
fbrosson533407a2018-04-04 21:44:29 +00001#!/usr/bin/env perl
SimonB60f2cf92016-04-03 14:16:08 +01002#
SimonB60f2cf92016-04-03 14:16:08 +01003# Copyright (c) 2014-2016, ARM Limited, All Rights Reserved
Bence Szépkúti51b41d52020-05-26 01:54:15 +02004# SPDX-License-Identifier: Apache-2.0
5#
6# Licensed under the Apache License, Version 2.0 (the "License"); you may
7# not use this file except in compliance with the License.
8# You may obtain a copy of the License at
9#
10# http://www.apache.org/licenses/LICENSE-2.0
11#
12# Unless required by applicable law or agreed to in writing, software
13# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
14# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15# See the License for the specific language governing permissions and
16# limitations under the License.
17#
18# This file is part of Mbed TLS (https://tls.mbed.org)
SimonB60f2cf92016-04-03 14:16:08 +010019#
20# Purpose
21#
22# Comments and uncomments #define lines in the given header file and optionally
Simon Butcher4ae86912016-06-21 10:09:25 +010023# sets their value or can get the value. This is to provide scripting control of
24# what preprocessor symbols, and therefore what build time configuration flags
25# are set in the 'config.h' file.
SimonB60f2cf92016-04-03 14:16:08 +010026#
27# Usage: config.pl [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010028# [set <symbol> <value> | unset <symbol> | get <symbol> |
29# full | realfull]
SimonB60f2cf92016-04-03 14:16:08 +010030#
31# Full usage description provided below.
32#
Hanno Becker7c0f17d2017-09-28 11:49:46 +010033# The following options are disabled instead of enabled with "full".
SimonB60f2cf92016-04-03 14:16:08 +010034#
Gilles Peskine108ebf22020-04-28 10:26:43 +020035# * Options that require additional build dependencies or unusual hardware.
36# * Options that make testing less effective.
37# * Options that are incompatible with other options, or more generally that
38# interact with other parts of the code in such a way that a bulk enabling
39# is not a good way to test them.
40# * Options that remove features.
SimonB60f2cf92016-04-03 14:16:08 +010041#
Gilles Peskine108ebf22020-04-28 10:26:43 +020042# The baremetal configuration excludes options that require a library or
43# operating system feature that is typically not present on bare metal
44# systems. Features that are excluded from "full" won't be in "baremetal"
45# either.
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020046
47use warnings;
48use strict;
49
SimonB60f2cf92016-04-03 14:16:08 +010050my $config_file = "include/mbedtls/config.h";
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020051my $usage = <<EOU;
SimonB60f2cf92016-04-03 14:16:08 +010052$0 [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010053 [set <symbol> <value> | unset <symbol> | get <symbol> |
Azim Khanc3c3a682017-12-21 15:19:53 +000054 full | realfull | baremetal]
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020055
SimonB60f2cf92016-04-03 14:16:08 +010056Commands
Simon Butcher4ae86912016-06-21 10:09:25 +010057 set <symbol> [<value>] - Uncomments or adds a #define for the <symbol> to
SimonB60f2cf92016-04-03 14:16:08 +010058 the configuration file, and optionally making it
59 of <value>.
60 If the symbol isn't present in the file an error
61 is returned.
Simon Butcher4ae86912016-06-21 10:09:25 +010062 unset <symbol> - Comments out the #define for the given symbol if
63 present in the configuration file.
64 get <symbol> - Finds the #define for the given symbol, returning
Gilles Peskined98e9e82017-10-09 16:56:18 +020065 an exitcode of 0 if the symbol is found, and 1 if
Simon Butcher4ae86912016-06-21 10:09:25 +010066 not. The value of the symbol is output if one is
67 specified in the configuration file.
SimonB60f2cf92016-04-03 14:16:08 +010068 full - Uncomments all #define's in the configuration file
Simon Butcher4ae86912016-06-21 10:09:25 +010069 excluding some reserved symbols, until the
SimonB60f2cf92016-04-03 14:16:08 +010070 'Module configuration options' section
71 realfull - Uncomments all #define's with no exclusions
Azim Khanc3c3a682017-12-21 15:19:53 +000072 baremetal - Sets full configuration suitable for baremetal build.
SimonB60f2cf92016-04-03 14:16:08 +010073
74Options
75 -f | --file <filename> - The file or file path for the configuration file
76 to edit. When omitted, the following default is
77 used:
78 $config_file
79 -o | --force - If the symbol isn't present in the configuration
Brian J Murray2adecba2016-11-06 04:45:15 -080080 file when setting its value, a #define is
SimonB60f2cf92016-04-03 14:16:08 +010081 appended to the end of the file.
82
83EOU
84
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020085my @excluded = qw(
Gilles Peskined6189e12020-04-28 10:28:14 +020086MBEDTLS_CTR_DRBG_USE_128_BIT_KEY
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087MBEDTLS_DEPRECATED_REMOVED
Gilles Peskine1e8cafc2020-04-29 15:44:00 +020088MBEDTLS_DEPRECATED_WARNING
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020089MBEDTLS_HAVE_SSE2
Hanno Becker307dfcd2019-02-26 13:51:00 +000090MBEDTLS_MEMORY_BACKTRACE
91MBEDTLS_MEMORY_BUFFER_ALLOC_C
Gilles Peskined6189e12020-04-28 10:28:14 +020092MBEDTLS_MEMORY_DEBUG
93MBEDTLS_NO_64BIT_MULTIPLICATION
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020094MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
95MBEDTLS_NO_PLATFORM_ENTROPY
Gilles Peskined6189e12020-04-28 10:28:14 +020096MBEDTLS_NO_UDBL_DIVISION
97MBEDTLS_PKCS11_C
98MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
Andres Amaya Garcia5d8aade2018-10-30 18:21:41 +000099MBEDTLS_REMOVE_3DES_CIPHERSUITES
Gilles Peskined6189e12020-04-28 10:28:14 +0200100MBEDTLS_REMOVE_ARC4_CIPHERSUITES
101MBEDTLS_RSA_NO_CRT
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200102MBEDTLS_SSL_HW_RECORD_ACCEL
Gilles Peskined6189e12020-04-28 10:28:14 +0200103MBEDTLS_TEST_NULL_ENTROPY
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200104MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION
105MBEDTLS_ZLIB_SUPPORT
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200106_ALT\s*$
107);
108
Azim Khan0d445732017-12-21 09:28:39 +0000109# Things that should be disabled in "baremetal"
110my @excluded_baremetal = qw(
Azim Khan0d445732017-12-21 09:28:39 +0000111MBEDTLS_ENTROPY_NV_SEED
Gilles Peskined6189e12020-04-28 10:28:14 +0200112MBEDTLS_FS_IO
113MBEDTLS_HAVEGE_C
Azim Khan0d445732017-12-21 09:28:39 +0000114MBEDTLS_HAVE_TIME
115MBEDTLS_HAVE_TIME_DATE
Azim Khan0d445732017-12-21 09:28:39 +0000116MBEDTLS_MEMORY_BACKTRACE
117MBEDTLS_MEMORY_BUFFER_ALLOC_C
Gilles Peskined6189e12020-04-28 10:28:14 +0200118MBEDTLS_NET_C
Azim Khan0d445732017-12-21 09:28:39 +0000119MBEDTLS_PLATFORM_FPRINTF_ALT
Gilles Peskinedf4f7c12020-04-28 10:41:20 +0200120MBEDTLS_PLATFORM_NV_SEED_ALT
Gilles Peskined6189e12020-04-28 10:28:14 +0200121MBEDTLS_PLATFORM_TIME_ALT
122MBEDTLS_THREADING_C
123MBEDTLS_THREADING_PTHREAD
124MBEDTLS_TIMING_C
Azim Khan0d445732017-12-21 09:28:39 +0000125);
126
Gilles Peskinedf4f7c12020-04-28 10:41:20 +0200127# Things that should be enabled in "full" even if they match @excluded.
128# Platform ALTs enable global variables that allow configuring the behavior
129# but default to the default behavior, except for PLATFORM_SETUP_TEARDOWN_ALT
130# which requires the application to provide relevant functions like
131# non-platform ALTs.
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100132my @non_excluded = qw(
Gilles Peskinedf4f7c12020-04-28 10:41:20 +0200133PLATFORM_(?!SETUP_TEARDOWN_)[A-Z_0-9]+_ALT
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100134);
135
Azim Khan0d445732017-12-21 09:28:39 +0000136# Things that should be enabled in "baremetal"
137my @non_excluded_baremetal = qw(
138MBEDTLS_NO_PLATFORM_ENTROPY
139);
140
SimonB60f2cf92016-04-03 14:16:08 +0100141# Process the command line arguments
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200142
SimonB60f2cf92016-04-03 14:16:08 +0100143my $force_option = 0;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200144
SimonB60f2cf92016-04-03 14:16:08 +0100145my ($arg, $name, $value, $action);
146
SimonB73883c12016-04-04 13:49:10 +0100147while ($arg = shift) {
SimonB60f2cf92016-04-03 14:16:08 +0100148
149 # Check if the argument is an option
SimonB73883c12016-04-04 13:49:10 +0100150 if ($arg eq "-f" || $arg eq "--file") {
SimonB60f2cf92016-04-03 14:16:08 +0100151 $config_file = shift;
152
153 -f $config_file or die "No such file: $config_file\n";
154
155 }
SimonB73883c12016-04-04 13:49:10 +0100156 elsif ($arg eq "-o" || $arg eq "--force") {
SimonB60f2cf92016-04-03 14:16:08 +0100157 $force_option = 1;
158
159 }
160 else
161 {
162 # ...else assume it's a command
163 $action = $arg;
164
Azim Khan0d445732017-12-21 09:28:39 +0000165 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
SimonB60f2cf92016-04-03 14:16:08 +0100166 # No additional parameters
167 die $usage if @ARGV;
168
169 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100170 elsif ($action eq "unset" || $action eq "get") {
SimonB60f2cf92016-04-03 14:16:08 +0100171 die $usage unless @ARGV;
172 $name = shift;
173
174 }
175 elsif ($action eq "set") {
176 die $usage unless @ARGV;
177 $name = shift;
178 $value = shift if @ARGV;
179
180 }
181 else {
182 die "Command '$action' not recognised.\n\n".$usage;
183 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200184 }
185}
186
Simon Butcher3d265132016-06-23 21:57:06 +0100187# If no command was specified, exit...
188if ( not defined($action) ){ die $usage; }
189
SimonB60f2cf92016-04-03 14:16:08 +0100190# Check the config file is present
191if (! -f $config_file) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200192
SimonB60f2cf92016-04-03 14:16:08 +0100193 chdir '..' or die;
194
195 # Confirm this is the project root directory and try again
196 if ( !(-d 'scripts' && -d 'include' && -d 'library' && -f $config_file) ) {
197 die "If no file specified, must be run from the project root or scripts directory.\n";
198 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200199}
SimonB60f2cf92016-04-03 14:16:08 +0100200
201
202# Now read the file and process the contents
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200203
204open my $config_read, '<', $config_file or die "read $config_file: $!\n";
205my @config_lines = <$config_read>;
206close $config_read;
207
Azim Khan0d445732017-12-21 09:28:39 +0000208# Add required baremetal symbols to the list that is included.
209if ( $action eq "baremetal" ) {
210 @non_excluded = ( @non_excluded, @non_excluded_baremetal );
211}
212
213my ($exclude_re, $no_exclude_re, $exclude_baremetal_re);
Manuel Pégourié-Gonnard1989caf2016-01-04 12:57:32 +0100214if ($action eq "realfull") {
215 $exclude_re = qr/^$/;
216 $no_exclude_re = qr/./;
217} else {
218 $exclude_re = join '|', @excluded;
219 $no_exclude_re = join '|', @non_excluded;
220}
Azim Khan0d445732017-12-21 09:28:39 +0000221if ( $action eq "baremetal" ) {
222 $exclude_baremetal_re = join '|', @excluded_baremetal;
223}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200224
Gilles Peskine01f57e32017-10-09 16:54:28 +0200225my $config_write = undef;
226if ($action ne "get") {
227 open $config_write, '>', $config_file or die "write $config_file: $!\n";
228}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200229
230my $done;
231for my $line (@config_lines) {
Azim Khan0d445732017-12-21 09:28:39 +0000232 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200233 if ($line =~ /name SECTION: Module configuration options/) {
234 $done = 1;
235 }
236
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100237 if (!$done && $line =~ m!^//\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000238 ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
239 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100240 $line =~ s!^//\s?!!;
241 }
Manuel Pégourié-Gonnard7ee5ddd2015-06-03 10:33:55 +0100242 if (!$done && $line =~ m!^\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000243 ! ( ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
244 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100245 $line =~ s!^!//!;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200246 }
247 } elsif ($action eq "unset") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200248 if (!$done && $line =~ /^\s*#define\s*$name\b/) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200249 $line = '//' . $line;
250 $done = 1;
251 }
252 } elsif (!$done && $action eq "set") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200253 if ($line =~ m!^(?://)?\s*#define\s*$name\b!) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200254 $line = "#define $name";
255 $line .= " $value" if defined $value && $value ne "";
256 $line .= "\n";
257 $done = 1;
258 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100259 } elsif (!$done && $action eq "get") {
Gilles Peskinef0f55cc2017-10-09 16:51:24 +0200260 if ($line =~ /^\s*#define\s*$name(?:\s+(.*?))\s*(?:$|\/\*|\/\/)/) {
Simon Butcher4ae86912016-06-21 10:09:25 +0100261 $value = $1;
262 $done = 1;
263 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200264 }
265
Gilles Peskine01f57e32017-10-09 16:54:28 +0200266 if (defined $config_write) {
Gilles Peskine8ca0e8f2017-10-10 11:26:45 +0200267 print $config_write $line or die "write $config_file: $!\n";
Gilles Peskine01f57e32017-10-09 16:54:28 +0200268 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200269}
270
SimonB60f2cf92016-04-03 14:16:08 +0100271# Did the set command work?
Gilles Peskined98e9e82017-10-09 16:56:18 +0200272if ($action eq "set" && $force_option && !$done) {
SimonB60f2cf92016-04-03 14:16:08 +0100273
274 # If the force option was set, append the symbol to the end of the file
275 my $line = "#define $name";
276 $line .= " $value" if defined $value && $value ne "";
277 $line .= "\n";
278 $done = 1;
279
Gilles Peskine01f57e32017-10-09 16:54:28 +0200280 print $config_write $line or die "write $config_file: $!\n";
SimonB60f2cf92016-04-03 14:16:08 +0100281}
282
Gilles Peskine01f57e32017-10-09 16:54:28 +0200283if (defined $config_write) {
284 close $config_write or die "close $config_file: $!\n";
285}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200286
Simon Butcherdd9895d2016-06-21 15:12:00 +0100287if ($action eq "get") {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200288 if ($done) {
Simon Butcherdd9895d2016-06-21 15:12:00 +0100289 if ($value ne '') {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200290 print "$value\n";
Simon Butcherdd9895d2016-06-21 15:12:00 +0100291 }
292 exit 0;
293 } else {
294 # If the symbol was not found, return an error
Gilles Peskined98e9e82017-10-09 16:56:18 +0200295 exit 1;
Simon Butcher4ae86912016-06-21 10:09:25 +0100296 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100297}
298
SimonB60f2cf92016-04-03 14:16:08 +0100299if ($action eq "full" && !$done) {
300 die "Configuration section was not found in $config_file\n";
301
302}
303
304if ($action ne "full" && $action ne "unset" && !$done) {
305 die "A #define for the symbol $name was not found in $config_file\n";
306}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200307
308__END__