blob: b99140a370c843e0168e1c82e5c7ea8123e853ff [file] [log] [blame]
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +02001#!/usr/bin/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#
20# Things that shouldn't be enabled with "full".
21#
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
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é-Gonnardab3d8622014-07-12 03:19:18 +020040
41use warnings;
42use strict;
43
SimonB60f2cf92016-04-03 14:16:08 +010044my $config_file = "include/mbedtls/config.h";
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020045my $usage = <<EOU;
SimonB60f2cf92016-04-03 14:16:08 +010046$0 [-f <file> | --file <file>] [-o | --force]
Simon Butcher4ae86912016-06-21 10:09:25 +010047 [set <symbol> <value> | unset <symbol> | get <symbol> |
48 full | realfull]
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020049
SimonB60f2cf92016-04-03 14:16:08 +010050Commands
Simon Butcher4ae86912016-06-21 10:09:25 +010051 set <symbol> [<value>] - Uncomments or adds a #define for the <symbol> to
SimonB60f2cf92016-04-03 14:16:08 +010052 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 Butcher4ae86912016-06-21 10:09:25 +010056 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 Peskined98e9e82017-10-09 16:56:18 +020059 an exitcode of 0 if the symbol is found, and 1 if
Simon Butcher4ae86912016-06-21 10:09:25 +010060 not. The value of the symbol is output if one is
61 specified in the configuration file.
SimonB60f2cf92016-04-03 14:16:08 +010062 full - Uncomments all #define's in the configuration file
Simon Butcher4ae86912016-06-21 10:09:25 +010063 excluding some reserved symbols, until the
SimonB60f2cf92016-04-03 14:16:08 +010064 'Module configuration options' section
65 realfull - Uncomments all #define's with no exclusions
66
67Options
68 -f | --file <filename> - The file or file path for the configuration file
69 to edit. When omitted, the following default is
70 used:
71 $config_file
72 -o | --force - If the symbol isn't present in the configuration
Brian J Murray2adecba2016-11-06 04:45:15 -080073 file when setting its value, a #define is
SimonB60f2cf92016-04-03 14:16:08 +010074 appended to the end of the file.
75
76EOU
77
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020078my @excluded = qw(
Simon Butcherab5df402016-06-11 02:31:21 +010079MBEDTLS_TEST_NULL_ENTROPY
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020080MBEDTLS_DEPRECATED_REMOVED
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020081MBEDTLS_HAVE_SSE2
82MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
83MBEDTLS_ECP_DP_M221_ENABLED
84MBEDTLS_ECP_DP_M383_ENABLED
85MBEDTLS_ECP_DP_M511_ENABLED
86MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES
87MBEDTLS_NO_PLATFORM_ENTROPY
88MBEDTLS_REMOVE_ARC4_CIPHERSUITES
89MBEDTLS_SSL_HW_RECORD_ACCEL
90MBEDTLS_X509_ALLOW_EXTENSIONS_NON_V3
91MBEDTLS_X509_ALLOW_UNSUPPORTED_CRITICAL_EXTENSION
92MBEDTLS_ZLIB_SUPPORT
93MBEDTLS_PKCS11_C
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +020094_ALT\s*$
95);
96
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +010097# Things that should be enabled in "full" even if they match @excluded
98my @non_excluded = qw(
99PLATFORM_[A-Z0-9]+_ALT
100);
101
SimonB60f2cf92016-04-03 14:16:08 +0100102# Process the command line arguments
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200103
SimonB60f2cf92016-04-03 14:16:08 +0100104my $force_option = 0;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200105
SimonB60f2cf92016-04-03 14:16:08 +0100106my ($arg, $name, $value, $action);
107
SimonB73883c12016-04-04 13:49:10 +0100108while ($arg = shift) {
SimonB60f2cf92016-04-03 14:16:08 +0100109
110 # Check if the argument is an option
SimonB73883c12016-04-04 13:49:10 +0100111 if ($arg eq "-f" || $arg eq "--file") {
SimonB60f2cf92016-04-03 14:16:08 +0100112 $config_file = shift;
113
114 -f $config_file or die "No such file: $config_file\n";
115
116 }
SimonB73883c12016-04-04 13:49:10 +0100117 elsif ($arg eq "-o" || $arg eq "--force") {
SimonB60f2cf92016-04-03 14:16:08 +0100118 $force_option = 1;
119
120 }
121 else
122 {
123 # ...else assume it's a command
124 $action = $arg;
125
126 if ($action eq "full" || $action eq "realfull") {
127 # No additional parameters
128 die $usage if @ARGV;
129
130 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100131 elsif ($action eq "unset" || $action eq "get") {
SimonB60f2cf92016-04-03 14:16:08 +0100132 die $usage unless @ARGV;
133 $name = shift;
134
135 }
136 elsif ($action eq "set") {
137 die $usage unless @ARGV;
138 $name = shift;
139 $value = shift if @ARGV;
140
141 }
142 else {
143 die "Command '$action' not recognised.\n\n".$usage;
144 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200145 }
146}
147
Simon Butcher3d265132016-06-23 21:57:06 +0100148# If no command was specified, exit...
149if ( not defined($action) ){ die $usage; }
150
SimonB60f2cf92016-04-03 14:16:08 +0100151# Check the config file is present
152if (! -f $config_file) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200153
SimonB60f2cf92016-04-03 14:16:08 +0100154 chdir '..' or die;
155
156 # Confirm this is the project root directory and try again
157 if ( !(-d 'scripts' && -d 'include' && -d 'library' && -f $config_file) ) {
158 die "If no file specified, must be run from the project root or scripts directory.\n";
159 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200160}
SimonB60f2cf92016-04-03 14:16:08 +0100161
162
163# Now read the file and process the contents
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200164
165open my $config_read, '<', $config_file or die "read $config_file: $!\n";
166my @config_lines = <$config_read>;
167close $config_read;
168
Manuel Pégourié-Gonnard1989caf2016-01-04 12:57:32 +0100169my ($exclude_re, $no_exclude_re);
170if ($action eq "realfull") {
171 $exclude_re = qr/^$/;
172 $no_exclude_re = qr/./;
173} else {
174 $exclude_re = join '|', @excluded;
175 $no_exclude_re = join '|', @non_excluded;
176}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200177
Gilles Peskine01f57e32017-10-09 16:54:28 +0200178my $config_write = undef;
179if ($action ne "get") {
180 open $config_write, '>', $config_file or die "write $config_file: $!\n";
181}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200182
183my $done;
184for my $line (@config_lines) {
Manuel Pégourié-Gonnard1989caf2016-01-04 12:57:32 +0100185 if ($action eq "full" || $action eq "realfull") {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200186 if ($line =~ /name SECTION: Module configuration options/) {
187 $done = 1;
188 }
189
Manuel Pégourié-Gonnardb7527152015-06-03 09:59:06 +0100190 if (!$done && $line =~ m!^//\s?#define! &&
191 ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100192 $line =~ s!^//\s?!!;
193 }
Manuel Pégourié-Gonnard7ee5ddd2015-06-03 10:33:55 +0100194 if (!$done && $line =~ m!^\s?#define! &&
195 ! ( $line !~ /$exclude_re/ || $line =~ /$no_exclude_re/ ) ) {
Manuel Pégourié-Gonnardea0920f2015-03-24 09:50:15 +0100196 $line =~ s!^!//!;
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200197 }
198 } elsif ($action eq "unset") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200199 if (!$done && $line =~ /^\s*#define\s*$name\b/) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200200 $line = '//' . $line;
201 $done = 1;
202 }
203 } elsif (!$done && $action eq "set") {
Manuel Pégourié-Gonnard7f9049b2015-06-23 17:42:51 +0200204 if ($line =~ m!^(?://)?\s*#define\s*$name\b!) {
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200205 $line = "#define $name";
206 $line .= " $value" if defined $value && $value ne "";
207 $line .= "\n";
208 $done = 1;
209 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100210 } elsif (!$done && $action eq "get") {
Gilles Peskinef0f55cc2017-10-09 16:51:24 +0200211 if ($line =~ /^\s*#define\s*$name(?:\s+(.*?))\s*(?:$|\/\*|\/\/)/) {
Simon Butcher4ae86912016-06-21 10:09:25 +0100212 $value = $1;
213 $done = 1;
214 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200215 }
216
Gilles Peskine01f57e32017-10-09 16:54:28 +0200217 if (defined $config_write) {
218 print $config_write $line or die "write $config_file: $!\n";;
219 }
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200220}
221
SimonB60f2cf92016-04-03 14:16:08 +0100222# Did the set command work?
Gilles Peskined98e9e82017-10-09 16:56:18 +0200223if ($action eq "set" && $force_option && !$done) {
SimonB60f2cf92016-04-03 14:16:08 +0100224
225 # If the force option was set, append the symbol to the end of the file
226 my $line = "#define $name";
227 $line .= " $value" if defined $value && $value ne "";
228 $line .= "\n";
229 $done = 1;
230
Gilles Peskine01f57e32017-10-09 16:54:28 +0200231 print $config_write $line or die "write $config_file: $!\n";
SimonB60f2cf92016-04-03 14:16:08 +0100232}
233
Gilles Peskine01f57e32017-10-09 16:54:28 +0200234if (defined $config_write) {
235 close $config_write or die "close $config_file: $!\n";
236}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200237
Simon Butcherdd9895d2016-06-21 15:12:00 +0100238if ($action eq "get") {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200239 if ($done) {
Simon Butcherdd9895d2016-06-21 15:12:00 +0100240 if ($value ne '') {
Gilles Peskined98e9e82017-10-09 16:56:18 +0200241 print "$value\n";
Simon Butcherdd9895d2016-06-21 15:12:00 +0100242 }
243 exit 0;
244 } else {
245 # If the symbol was not found, return an error
Gilles Peskined98e9e82017-10-09 16:56:18 +0200246 exit 1;
Simon Butcher4ae86912016-06-21 10:09:25 +0100247 }
Simon Butcher4ae86912016-06-21 10:09:25 +0100248}
249
SimonB60f2cf92016-04-03 14:16:08 +0100250if ($action eq "full" && !$done) {
251 die "Configuration section was not found in $config_file\n";
252
253}
254
255if ($action ne "full" && $action ne "unset" && !$done) {
256 die "A #define for the symbol $name was not found in $config_file\n";
257}
Manuel Pégourié-Gonnardab3d8622014-07-12 03:19:18 +0200258
259__END__