blob: 6479c6d53b08a9202cfa38a02a99bc093ce991dc [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
29# MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
30# MBEDTLS_NO_PLATFORM_ENTROPY
Hanno Becker7c0f17d2017-09-28 11:49:46 +010031# MBEDTLS_RSA_NO_CRT
Manuel Pégourié-Gonnard26fd7302018-10-22 12:14:52 +020032# MBEDTLS_USE_PSA_CRYPTO
33# - experimental, and more an alternative implementation than a feature
SimonB60f2cf92016-04-03 14:16:08 +010034# and any symbol beginning _ALT
35#
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020036
37use warnings;
38use strict;
39
SimonB60f2cf92016-04-03 14:16:08 +010040my $config_file = "include/mbedtls/config.h";
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020041my $usage = <<EOU;
SimonB60f2cf92016-04-03 14:16:08 +010042$0 [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010043 [set <symbol> <value> | unset <symbol> | get <symbol> |
Azim Khanc3c3a682017-12-21 15:19:53 +000044 full | realfull | baremetal]
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020045
SimonB60f2cf92016-04-03 14:16:08 +010046Commands
Simon Butcher4ae86912016-06-21 10:09:25 +010047 set <symbol> [<value>] - Uncomments or adds a #define for the <symbol> to
SimonB60f2cf92016-04-03 14:16:08 +010048 the configuration file, and optionally making it
49 of <value>.
50 If the symbol isn't present in the file an error
51 is returned.
Simon Butcher4ae86912016-06-21 10:09:25 +010052 unset <symbol> - Comments out the #define for the given symbol if
53 present in the configuration file.
54 get <symbol> - Finds the #define for the given symbol, returning
Gilles Peskined98e9e82017-10-09 16:56:18 +020055 an exitcode of 0 if the symbol is found, and 1 if
Simon Butcher4ae86912016-06-21 10:09:25 +010056 not. The value of the symbol is output if one is
57 specified in the configuration file.
SimonB60f2cf92016-04-03 14:16:08 +010058 full - Uncomments all #define's in the configuration file
Simon Butcher4ae86912016-06-21 10:09:25 +010059 excluding some reserved symbols, until the
SimonB60f2cf92016-04-03 14:16:08 +010060 'Module configuration options' section
61 realfull - Uncomments all #define's with no exclusions
Azim Khanc3c3a682017-12-21 15:19:53 +000062 baremetal - Sets full configuration suitable for baremetal build.
SimonB60f2cf92016-04-03 14:16:08 +010063
64Options
65 -f | --file <filename> - The file or file path for the configuration file
66 to edit. When omitted, the following default is
67 used:
68 $config_file
69 -o | --force - If the symbol isn't present in the configuration
Brian J Murray2adecba2016-11-06 04:45:15 -080070 file when setting its value, a #define is
SimonB60f2cf92016-04-03 14:16:08 +010071 appended to the end of the file.
72
73EOU
74
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020075my @excluded = qw(
Simon Butcherab5df402016-06-11 02:31:21 +010076MBEDTLS_TEST_NULL_ENTROPY
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077MBEDTLS_DEPRECATED_REMOVED
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078MBEDTLS_HAVE_SSE2
79MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
80MBEDTLS_ECP_DP_M221_ENABLED
81MBEDTLS_ECP_DP_M383_ENABLED
82MBEDTLS_ECP_DP_M511_ENABLED
83MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
84MBEDTLS_NO_PLATFORM_ENTROPY
Hanno Becker7c0f17d2017-09-28 11:49:46 +010085MBEDTLS_RSA_NO_CRT
Azim Khanc4e96942017-12-21 15:22:37 +000086MBEDTLS_NO_UDBL_DIVISION
Manuel Pégourié-Gonnard2adb3752018-06-07 10:51:44 +020087MBEDTLS_NO_64BIT_MULTIPLICATION
Gilles Peskined0e66b02019-07-24 13:52:51 +020088MBEDTLS_PSA_CRYPTO_SE_C
Jaeden Amero67a93512018-07-11 16:07:40 +010089MBEDTLS_PSA_CRYPTO_SPM
Gilles Peskine69d7c8b2019-02-19 14:00:31 +010090MBEDTLS_PSA_CRYPTO_KEY_FILE_ID_ENCODES_OWNER
Gilles Peskinee3dbdd82019-02-25 11:04:06 +010091MBEDTLS_PSA_INJECT_ENTROPY
Manuel Pégourié-Gonnard26fd7302018-10-22 12:14:52 +020092MBEDTLS_USE_PSA_CRYPTO
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020093_ALT\s*$
94);
95
Azim Khan0d445732017-12-21 09:28:39 +000096# Things that should be disabled in "baremetal"
97my @excluded_baremetal = qw(
Azim Khan0d445732017-12-21 09:28:39 +000098MBEDTLS_TIMING_C
99MBEDTLS_FS_IO
100MBEDTLS_ENTROPY_NV_SEED
101MBEDTLS_HAVE_TIME
102MBEDTLS_HAVE_TIME_DATE
103MBEDTLS_DEPRECATED_WARNING
104MBEDTLS_HAVEGE_C
105MBEDTLS_THREADING_C
106MBEDTLS_THREADING_PTHREAD
107MBEDTLS_MEMORY_BACKTRACE
108MBEDTLS_MEMORY_BUFFER_ALLOC_C
109MBEDTLS_PLATFORM_TIME_ALT
110MBEDTLS_PLATFORM_FPRINTF_ALT
Gilles Peskinea8ade162019-06-26 11:24:49 +0200111MBEDTLS_PSA_CRYPTO_SE_C
Darryl Greendb2b8db2018-06-15 13:06:04 +0100112MBEDTLS_PSA_CRYPTO_STORAGE_C
Moran Peker46119562018-11-20 18:30:34 +0200113MBEDTLS_PSA_CRYPTO_STORAGE_ITS_C
Gilles Peskinee435f232019-02-24 14:03:29 +0100114MBEDTLS_PSA_ITS_FILE_C
Azim Khan0d445732017-12-21 09:28:39 +0000115);
116
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100117# Things that should be enabled in "full" even if they match @excluded
118my @non_excluded = qw(
119PLATFORM_[A-Z0-9]+_ALT
120);
121
Azim Khan0d445732017-12-21 09:28:39 +0000122# Things that should be enabled in "baremetal"
123my @non_excluded_baremetal = qw(
124MBEDTLS_NO_PLATFORM_ENTROPY
125);
126
SimonB60f2cf92016-04-03 14:16:08 +0100127# Process the command line arguments
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200128
SimonB60f2cf92016-04-03 14:16:08 +0100129my $force_option = 0;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200130
SimonB60f2cf92016-04-03 14:16:08 +0100131my ($arg, $name, $value, $action);
132
SimonB73883c12016-04-04 13:49:10 +0100133while ($arg = shift) {
SimonB60f2cf92016-04-03 14:16:08 +0100134
135 # Check if the argument is an option
SimonB73883c12016-04-04 13:49:10 +0100136 if ($arg eq "-f" || $arg eq "--file") {
SimonB60f2cf92016-04-03 14:16:08 +0100137 $config_file = shift;
138
139 -f $config_file or die "No such file: $config_file\n";
140
141 }
SimonB73883c12016-04-04 13:49:10 +0100142 elsif ($arg eq "-o" || $arg eq "--force") {
SimonB60f2cf92016-04-03 14:16:08 +0100143 $force_option = 1;
144
145 }
146 else
147 {
148 # ...else assume it's a command
149 $action = $arg;
150
Azim Khan0d445732017-12-21 09:28:39 +0000151 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
SimonB60f2cf92016-04-03 14:16:08 +0100152 # No additional parameters
153 die $usage if @ARGV;
154
155 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100156 elsif ($action eq "unset" || $action eq "get") {
SimonB60f2cf92016-04-03 14:16:08 +0100157 die $usage unless @ARGV;
158 $name = shift;
159
160 }
161 elsif ($action eq "set") {
162 die $usage unless @ARGV;
163 $name = shift;
164 $value = shift if @ARGV;
165
166 }
167 else {
168 die "Command '$action' not recognised.\n\n".$usage;
169 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200170 }
171}
172
Simon Butcher3d265132016-06-23 21:57:06 +0100173# If no command was specified, exit...
174if ( not defined($action) ){ die $usage; }
175
SimonB60f2cf92016-04-03 14:16:08 +0100176# Check the config file is present
177if (! -f $config_file) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200178
SimonB60f2cf92016-04-03 14:16:08 +0100179 chdir '..' or die;
180
181 # Confirm this is the project root directory and try again
182 if ( !(-d 'scripts' && -d 'include' && -d 'library' && -f $config_file) ) {
183 die "If no file specified, must be run from the project root or scripts directory.\n";
184 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200185}
SimonB60f2cf92016-04-03 14:16:08 +0100186
187
188# Now read the file and process the contents
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200189
190open my $config_read, '<', $config_file or die "read $config_file: $!\n";
191my @config_lines = <$config_read>;
192close $config_read;
193
Azim Khan0d445732017-12-21 09:28:39 +0000194# Add required baremetal symbols to the list that is included.
195if ( $action eq "baremetal" ) {
196 @non_excluded = ( @non_excluded, @non_excluded_baremetal );
197}
198
199my ($exclude_re, $no_exclude_re, $exclude_baremetal_re);
Manuel Pégourié-Gonnard1989caf2016-01-04 12:57:32 +0100200if ($action eq "realfull") {
201 $exclude_re = qr/^$/;
202 $no_exclude_re = qr/./;
203} else {
204 $exclude_re = join '|', @excluded;
205 $no_exclude_re = join '|', @non_excluded;
206}
Azim Khan0d445732017-12-21 09:28:39 +0000207if ( $action eq "baremetal" ) {
208 $exclude_baremetal_re = join '|', @excluded_baremetal;
209}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200210
Gilles Peskine01f57e32017-10-09 16:54:28 +0200211my $config_write = undef;
212if ($action ne "get") {
213 open $config_write, '>', $config_file or die "write $config_file: $!\n";
214}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200215
216my $done;
217for my $line (@config_lines) {
Azim Khan0d445732017-12-21 09:28:39 +0000218 if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200219 if ($line =~ /name SECTION: Module configuration options/) {
220 $done = 1;
221 }
222
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100223 if (!$done && $line =~ m!^//\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000224 ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
225 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100226 $line =~ s!^//\s?!!;
227 }
Manuel Pégourié-Gonnard7ee5ddd2015-06-03 10:33:55 +0100228 if (!$done && $line =~ m!^\s?#define! &&
Azim Khan0d445732017-12-21 09:28:39 +0000229 ! ( ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) &&
230 ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100231 $line =~ s!^!//!;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200232 }
233 } elsif ($action eq "unset") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200234 if (!$done && $line =~ /^\s*#define\s*$name\b/) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200235 $line = '//' . $line;
236 $done = 1;
237 }
238 } elsif (!$done && $action eq "set") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200239 if ($line =~ m!^(?://)?\s*#define\s*$name\b!) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200240 $line = "#define $name";
241 $line .= " $value" if defined $value && $value ne "";
242 $line .= "\n";
243 $done = 1;
244 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100245 } elsif (!$done && $action eq "get") {
Gilles Peskinef0f55cc2017-10-09 16:51:24 +0200246 if ($line =~ /^\s*#define\s*$name(?:\s+(.*?))\s*(?:$|\/\*|\/\/)/) {
Simon Butcher4ae86912016-06-21 10:09:25 +0100247 $value = $1;
248 $done = 1;
249 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200250 }
251
Gilles Peskine01f57e32017-10-09 16:54:28 +0200252 if (defined $config_write) {
Gilles Peskine8ca0e8f2017-10-10 11:26:45 +0200253 print $config_write $line or die "write $config_file: $!\n";
Gilles Peskine01f57e32017-10-09 16:54:28 +0200254 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200255}
256
SimonB60f2cf92016-04-03 14:16:08 +0100257# Did the set command work?
Gilles Peskined98e9e82017-10-09 16:56:18 +0200258if ($action eq "set" && $force_option && !$done) {
SimonB60f2cf92016-04-03 14:16:08 +0100259
260 # If the force option was set, append the symbol to the end of the file
261 my $line = "#define $name";
262 $line .= " $value" if defined $value && $value ne "";
263 $line .= "\n";
264 $done = 1;
265
Gilles Peskine01f57e32017-10-09 16:54:28 +0200266 print $config_write $line or die "write $config_file: $!\n";
SimonB60f2cf92016-04-03 14:16:08 +0100267}
268
Gilles Peskine01f57e32017-10-09 16:54:28 +0200269if (defined $config_write) {
270 close $config_write or die "close $config_file: $!\n";
271}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200272
Simon Butcherdd9895d2016-06-21 15:12:00 +0100273if ($action eq "get") {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200274 if ($done) {
Simon Butcherdd9895d2016-06-21 15:12:00 +0100275 if ($value ne '') {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200276 print "$value\n";
Simon Butcherdd9895d2016-06-21 15:12:00 +0100277 }
278 exit 0;
279 } else {
280 # If the symbol was not found, return an error
Gilles Peskined98e9e82017-10-09 16:56:18 +0200281 exit 1;
Simon Butcher4ae86912016-06-21 10:09:25 +0100282 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100283}
284
SimonB60f2cf92016-04-03 14:16:08 +0100285if ($action eq "full" && !$done) {
286 die "Configuration section was not found in $config_file\n";
287
288}
289
290if ($action ne "full" && $action ne "unset" && !$done) {
291 die "A #define for the symbol $name was not found in $config_file\n";
292}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200293
294__END__