Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 1 | #!/usr/bin/perl |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 2 | # |
| 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 Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 10 | # 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. |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 13 | # |
| 14 | # Usage: config.pl [-f <file> | --file <file>] [-o | --force] |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 15 | # [set <symbol> <value> | unset <symbol> | get <symbol> | |
| 16 | # full | realfull] |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 17 | # |
| 18 | # Full usage description provided below. |
| 19 | # |
| 20 | # Things that shouldn't be enabled with "full". |
| 21 | # |
Simon Butcher | ab5df40 | 2016-06-11 02:31:21 +0100 | [diff] [blame] | 22 | # MBEDTLS_TEST_NULL_ENTROPY |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 23 | # 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 |
| 31 | # MBEDTLS_REMOVE_ARC4_CIPHERSUITES |
| 32 | # MBEDTLS_SSL_HW_RECORD_ACCEL |
| 33 | # MBEDTLS_X509_ALLOW_EXTENSIONS_NON_V3 |
| 34 | # MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION |
| 35 | # - this could be enabled if the respective tests were adapted |
| 36 | # MBEDTLS_ZLIB_SUPPORT |
| 37 | # MBEDTLS_PKCS11_C |
| 38 | # and any symbol beginning _ALT |
| 39 | # |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 40 | |
| 41 | use warnings; |
| 42 | use strict; |
| 43 | |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 44 | my $config_file = "include/mbedtls/config.h"; |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 45 | my $usage = <<EOU; |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 46 | $0 [-f <file> | --file <file>] [-o | --force] |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 47 | [set <symbol> <value> | unset <symbol> | get <symbol> | |
Azim Khan | c3c3a68 | 2017-12-21 15:19:53 +0000 | [diff] [blame^] | 48 | full | realfull | baremetal] |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 49 | |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 50 | Commands |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 51 | set <symbol> [<value>] - Uncomments or adds a #define for the <symbol> to |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 52 | the configuration file, and optionally making it |
| 53 | of <value>. |
| 54 | If the symbol isn't present in the file an error |
| 55 | is returned. |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 56 | unset <symbol> - Comments out the #define for the given symbol if |
| 57 | present in the configuration file. |
| 58 | get <symbol> - Finds the #define for the given symbol, returning |
Gilles Peskine | d98e9e8 | 2017-10-09 16:56:18 +0200 | [diff] [blame] | 59 | an exitcode of 0 if the symbol is found, and 1 if |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 60 | not. The value of the symbol is output if one is |
| 61 | specified in the configuration file. |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 62 | full - Uncomments all #define's in the configuration file |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 63 | excluding some reserved symbols, until the |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 64 | 'Module configuration options' section |
| 65 | realfull - Uncomments all #define's with no exclusions |
Azim Khan | c3c3a68 | 2017-12-21 15:19:53 +0000 | [diff] [blame^] | 66 | baremetal - Sets full configuration suitable for baremetal build. |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 67 | |
| 68 | Options |
| 69 | -f | --file <filename> - The file or file path for the configuration file |
| 70 | to edit. When omitted, the following default is |
| 71 | used: |
| 72 | $config_file |
| 73 | -o | --force - If the symbol isn't present in the configuration |
Brian J Murray | 2adecba | 2016-11-06 04:45:15 -0800 | [diff] [blame] | 74 | file when setting its value, a #define is |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 75 | appended to the end of the file. |
| 76 | |
| 77 | EOU |
| 78 | |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 79 | my @excluded = qw( |
Simon Butcher | ab5df40 | 2016-06-11 02:31:21 +0100 | [diff] [blame] | 80 | MBEDTLS_TEST_NULL_ENTROPY |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 81 | MBEDTLS_DEPRECATED_REMOVED |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 82 | MBEDTLS_HAVE_SSE2 |
| 83 | MBEDTLS_PLATFORM_NO_STD_FUNCTIONS |
| 84 | MBEDTLS_ECP_DP_M221_ENABLED |
| 85 | MBEDTLS_ECP_DP_M383_ENABLED |
| 86 | MBEDTLS_ECP_DP_M511_ENABLED |
| 87 | MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES |
| 88 | MBEDTLS_NO_PLATFORM_ENTROPY |
| 89 | MBEDTLS_REMOVE_ARC4_CIPHERSUITES |
| 90 | MBEDTLS_SSL_HW_RECORD_ACCEL |
| 91 | MBEDTLS_X509_ALLOW_EXTENSIONS_NON_V3 |
| 92 | MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION |
| 93 | MBEDTLS_ZLIB_SUPPORT |
| 94 | MBEDTLS_PKCS11_C |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 95 | _ALT\s*$ |
| 96 | ); |
| 97 | |
Azim Khan | 0d44573 | 2017-12-21 09:28:39 +0000 | [diff] [blame] | 98 | # Things that should be disabled in "baremetal" |
| 99 | my @excluded_baremetal = qw( |
| 100 | MBEDTLS_NET_C |
| 101 | MBEDTLS_TIMING_C |
| 102 | MBEDTLS_FS_IO |
| 103 | MBEDTLS_ENTROPY_NV_SEED |
| 104 | MBEDTLS_HAVE_TIME |
| 105 | MBEDTLS_HAVE_TIME_DATE |
| 106 | MBEDTLS_DEPRECATED_WARNING |
| 107 | MBEDTLS_HAVEGE_C |
| 108 | MBEDTLS_THREADING_C |
| 109 | MBEDTLS_THREADING_PTHREAD |
| 110 | MBEDTLS_MEMORY_BACKTRACE |
| 111 | MBEDTLS_MEMORY_BUFFER_ALLOC_C |
| 112 | MBEDTLS_PLATFORM_TIME_ALT |
| 113 | MBEDTLS_PLATFORM_FPRINTF_ALT |
| 114 | ); |
| 115 | |
Manuel Pégourié-Gonnard | b752715 | 2015-06-03 09:59:06 +0100 | [diff] [blame] | 116 | # Things that should be enabled in "full" even if they match @excluded |
| 117 | my @non_excluded = qw( |
| 118 | PLATFORM_[A-Z0-9]+_ALT |
| 119 | ); |
| 120 | |
Azim Khan | 0d44573 | 2017-12-21 09:28:39 +0000 | [diff] [blame] | 121 | # Things that should be enabled in "baremetal" |
| 122 | my @non_excluded_baremetal = qw( |
| 123 | MBEDTLS_NO_PLATFORM_ENTROPY |
| 124 | ); |
| 125 | |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 126 | # Process the command line arguments |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 127 | |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 128 | my $force_option = 0; |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 129 | |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 130 | my ($arg, $name, $value, $action); |
| 131 | |
SimonB | 73883c1 | 2016-04-04 13:49:10 +0100 | [diff] [blame] | 132 | while ($arg = shift) { |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 133 | |
| 134 | # Check if the argument is an option |
SimonB | 73883c1 | 2016-04-04 13:49:10 +0100 | [diff] [blame] | 135 | if ($arg eq "-f" || $arg eq "--file") { |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 136 | $config_file = shift; |
| 137 | |
| 138 | -f $config_file or die "No such file: $config_file\n"; |
| 139 | |
| 140 | } |
SimonB | 73883c1 | 2016-04-04 13:49:10 +0100 | [diff] [blame] | 141 | elsif ($arg eq "-o" || $arg eq "--force") { |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 142 | $force_option = 1; |
| 143 | |
| 144 | } |
| 145 | else |
| 146 | { |
| 147 | # ...else assume it's a command |
| 148 | $action = $arg; |
| 149 | |
Azim Khan | 0d44573 | 2017-12-21 09:28:39 +0000 | [diff] [blame] | 150 | if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) { |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 151 | # No additional parameters |
| 152 | die $usage if @ARGV; |
| 153 | |
| 154 | } |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 155 | elsif ($action eq "unset" || $action eq "get") { |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 156 | die $usage unless @ARGV; |
| 157 | $name = shift; |
| 158 | |
| 159 | } |
| 160 | elsif ($action eq "set") { |
| 161 | die $usage unless @ARGV; |
| 162 | $name = shift; |
| 163 | $value = shift if @ARGV; |
| 164 | |
| 165 | } |
| 166 | else { |
| 167 | die "Command '$action' not recognised.\n\n".$usage; |
| 168 | } |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 169 | } |
| 170 | } |
| 171 | |
Simon Butcher | 3d26513 | 2016-06-23 21:57:06 +0100 | [diff] [blame] | 172 | # If no command was specified, exit... |
| 173 | if ( not defined($action) ){ die $usage; } |
| 174 | |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 175 | # Check the config file is present |
| 176 | if (! -f $config_file) { |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 177 | |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 178 | chdir '..' or die; |
| 179 | |
| 180 | # Confirm this is the project root directory and try again |
| 181 | if ( !(-d 'scripts' && -d 'include' && -d 'library' && -f $config_file) ) { |
| 182 | die "If no file specified, must be run from the project root or scripts directory.\n"; |
| 183 | } |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 184 | } |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 185 | |
| 186 | |
| 187 | # Now read the file and process the contents |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 188 | |
| 189 | open my $config_read, '<', $config_file or die "read $config_file: $!\n"; |
| 190 | my @config_lines = <$config_read>; |
| 191 | close $config_read; |
| 192 | |
Azim Khan | 0d44573 | 2017-12-21 09:28:39 +0000 | [diff] [blame] | 193 | # Add required baremetal symbols to the list that is included. |
| 194 | if ( $action eq "baremetal" ) { |
| 195 | @non_excluded = ( @non_excluded, @non_excluded_baremetal ); |
| 196 | } |
| 197 | |
| 198 | my ($exclude_re, $no_exclude_re, $exclude_baremetal_re); |
Manuel Pégourié-Gonnard | 1989caf | 2016-01-04 12:57:32 +0100 | [diff] [blame] | 199 | if ($action eq "realfull") { |
| 200 | $exclude_re = qr/^$/; |
| 201 | $no_exclude_re = qr/./; |
| 202 | } else { |
| 203 | $exclude_re = join '|', @excluded; |
| 204 | $no_exclude_re = join '|', @non_excluded; |
| 205 | } |
Azim Khan | 0d44573 | 2017-12-21 09:28:39 +0000 | [diff] [blame] | 206 | if ( $action eq "baremetal" ) { |
| 207 | $exclude_baremetal_re = join '|', @excluded_baremetal; |
| 208 | } |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 209 | |
Gilles Peskine | 01f57e3 | 2017-10-09 16:54:28 +0200 | [diff] [blame] | 210 | my $config_write = undef; |
| 211 | if ($action ne "get") { |
| 212 | open $config_write, '>', $config_file or die "write $config_file: $!\n"; |
| 213 | } |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 214 | |
| 215 | my $done; |
| 216 | for my $line (@config_lines) { |
Azim Khan | 0d44573 | 2017-12-21 09:28:39 +0000 | [diff] [blame] | 217 | if ($action eq "full" || $action eq "realfull" || $action eq "baremetal" ) { |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 218 | if ($line =~ /name SECTION: Module configuration options/) { |
| 219 | $done = 1; |
| 220 | } |
| 221 | |
Manuel Pégourié-Gonnard | b752715 | 2015-06-03 09:59:06 +0100 | [diff] [blame] | 222 | if (!$done && $line =~ m!^//\s?#define! && |
Azim Khan | 0d44573 | 2017-12-21 09:28:39 +0000 | [diff] [blame] | 223 | ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) && |
| 224 | ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) { |
Manuel Pégourié-Gonnard | ea0920f | 2015-03-24 09:50:15 +0100 | [diff] [blame] | 225 | $line =~ s!^//\s?!!; |
| 226 | } |
Manuel Pégourié-Gonnard | 7ee5ddd | 2015-06-03 10:33:55 +0100 | [diff] [blame] | 227 | if (!$done && $line =~ m!^\s?#define! && |
Azim Khan | 0d44573 | 2017-12-21 09:28:39 +0000 | [diff] [blame] | 228 | ! ( ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) && |
| 229 | ( $action ne "baremetal" || ( $line !~ /$exclude_baremetal_re/ ) ) ) ) { |
Manuel Pégourié-Gonnard | ea0920f | 2015-03-24 09:50:15 +0100 | [diff] [blame] | 230 | $line =~ s!^!//!; |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 231 | } |
| 232 | } elsif ($action eq "unset") { |
Manuel Pégourié-Gonnard | 7f9049b | 2015-06-23 17:42:51 +0200 | [diff] [blame] | 233 | if (!$done && $line =~ /^\s*#define\s*$name\b/) { |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 234 | $line = '//' . $line; |
| 235 | $done = 1; |
| 236 | } |
| 237 | } elsif (!$done && $action eq "set") { |
Manuel Pégourié-Gonnard | 7f9049b | 2015-06-23 17:42:51 +0200 | [diff] [blame] | 238 | if ($line =~ m!^(?://)?\s*#define\s*$name\b!) { |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 239 | $line = "#define $name"; |
| 240 | $line .= " $value" if defined $value && $value ne ""; |
| 241 | $line .= "\n"; |
| 242 | $done = 1; |
| 243 | } |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 244 | } elsif (!$done && $action eq "get") { |
Gilles Peskine | f0f55cc | 2017-10-09 16:51:24 +0200 | [diff] [blame] | 245 | if ($line =~ /^\s*#define\s*$name(?:\s+(.*?))\s*(?:$|\/\*|\/\/)/) { |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 246 | $value = $1; |
| 247 | $done = 1; |
| 248 | } |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 249 | } |
| 250 | |
Gilles Peskine | 01f57e3 | 2017-10-09 16:54:28 +0200 | [diff] [blame] | 251 | if (defined $config_write) { |
Gilles Peskine | 8ca0e8f | 2017-10-10 11:26:45 +0200 | [diff] [blame] | 252 | print $config_write $line or die "write $config_file: $!\n"; |
Gilles Peskine | 01f57e3 | 2017-10-09 16:54:28 +0200 | [diff] [blame] | 253 | } |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 254 | } |
| 255 | |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 256 | # Did the set command work? |
Gilles Peskine | d98e9e8 | 2017-10-09 16:56:18 +0200 | [diff] [blame] | 257 | if ($action eq "set" && $force_option && !$done) { |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 258 | |
| 259 | # If the force option was set, append the symbol to the end of the file |
| 260 | my $line = "#define $name"; |
| 261 | $line .= " $value" if defined $value && $value ne ""; |
| 262 | $line .= "\n"; |
| 263 | $done = 1; |
| 264 | |
Gilles Peskine | 01f57e3 | 2017-10-09 16:54:28 +0200 | [diff] [blame] | 265 | print $config_write $line or die "write $config_file: $!\n"; |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 266 | } |
| 267 | |
Gilles Peskine | 01f57e3 | 2017-10-09 16:54:28 +0200 | [diff] [blame] | 268 | if (defined $config_write) { |
| 269 | close $config_write or die "close $config_file: $!\n"; |
| 270 | } |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 271 | |
Simon Butcher | dd9895d | 2016-06-21 15:12:00 +0100 | [diff] [blame] | 272 | if ($action eq "get") { |
Gilles Peskine | d98e9e8 | 2017-10-09 16:56:18 +0200 | [diff] [blame] | 273 | if ($done) { |
Simon Butcher | dd9895d | 2016-06-21 15:12:00 +0100 | [diff] [blame] | 274 | if ($value ne '') { |
Gilles Peskine | d98e9e8 | 2017-10-09 16:56:18 +0200 | [diff] [blame] | 275 | print "$value\n"; |
Simon Butcher | dd9895d | 2016-06-21 15:12:00 +0100 | [diff] [blame] | 276 | } |
| 277 | exit 0; |
| 278 | } else { |
| 279 | # If the symbol was not found, return an error |
Gilles Peskine | d98e9e8 | 2017-10-09 16:56:18 +0200 | [diff] [blame] | 280 | exit 1; |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 281 | } |
Simon Butcher | 4ae8691 | 2016-06-21 10:09:25 +0100 | [diff] [blame] | 282 | } |
| 283 | |
SimonB | 60f2cf9 | 2016-04-03 14:16:08 +0100 | [diff] [blame] | 284 | if ($action eq "full" && !$done) { |
| 285 | die "Configuration section was not found in $config_file\n"; |
| 286 | |
| 287 | } |
| 288 | |
| 289 | if ($action ne "full" && $action ne "unset" && !$done) { |
| 290 | die "A #define for the symbol $name was not found in $config_file\n"; |
| 291 | } |
Manuel Pégourié-Gonnard | ab3d862 | 2014-07-12 03:19:18 +0200 | [diff] [blame] | 292 | |
| 293 | __END__ |