Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 1 | =================== |
Manuel Pégourié-Gonnard | b4fe3cb | 2015-01-22 16:11:05 +0000 | [diff] [blame] | 2 | README for mbed TLS |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 3 | =================== |
| 4 | |
Manuel Pégourié-Gonnard | 6cf1164 | 2014-11-14 12:29:59 +0100 | [diff] [blame] | 5 | Configuration |
| 6 | ============= |
| 7 | |
Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 8 | mbed TLS should build out of the box on most systems. Some platform specific options are available in the fully-documented configuration file *include/mbedtls/config.h*, which is also the place where features can be selected. |
Manuel Pégourié-Gonnard | 6cf1164 | 2014-11-14 12:29:59 +0100 | [diff] [blame] | 9 | This file can be edited manually, or in a more programmatic way using the Perl |
| 10 | script *scripts/config.pl* (use *--help* for usage instructions). |
| 11 | |
| 12 | Compiler options can be set using standard variables such as *CC* and *CFLAGS* when using the Make and CMake build system (see below). |
| 13 | |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 14 | Compiling |
| 15 | ========= |
| 16 | |
Manuel Pégourié-Gonnard | b4fe3cb | 2015-01-22 16:11:05 +0000 | [diff] [blame] | 17 | There are currently three active build systems within the mbed TLS releases: |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 18 | |
| 19 | - Make |
| 20 | - CMake |
Paul Bakker | 5c7bc9c | 2014-05-02 13:11:59 +0200 | [diff] [blame] | 21 | - Microsoft Visual Studio (Visual Studio 6 and Visual Studio 2010) |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 22 | |
| 23 | The main system used for development is CMake. That system is always the most up-to-date. The others should reflect all changes present in the CMake build system, but some features are not ported there by default. |
| 24 | |
| 25 | Make |
| 26 | ---- |
| 27 | |
| 28 | We intentionally only use the absolute minimum of **Make** functionality, as we have discovered that a lot of **Make** features are not supported on all different implementations of Make on different platforms. As such, the Makefiles sometimes require some handwork or `export` statements in order to work for your platform. |
| 29 | |
Paul Bakker | 5c7bc9c | 2014-05-02 13:11:59 +0200 | [diff] [blame] | 30 | In order to build the source using Make, just enter at the command line:: |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 31 | |
| 32 | make |
| 33 | |
Paul Bakker | 5c7bc9c | 2014-05-02 13:11:59 +0200 | [diff] [blame] | 34 | In order to run the tests, enter:: |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 35 | |
| 36 | make check |
| 37 | |
Manuel Pégourié-Gonnard | 5c59a4f | 2015-06-24 13:06:24 +0200 | [diff] [blame] | 38 | In order to build for a Windows platform, you should use WINDOWS_BUILD=1 if the target is Windows but the build environment is Unix-like (eg when cross-compiling, or compiling from an MSYS shell), and WINDOWS=1 if the build environment is a Windows shell (in that case some targets will not be available). |
Manuel Pégourié-Gonnard | ea0184b | 2015-02-16 15:42:16 +0000 | [diff] [blame] | 39 | |
Manuel Pégourié-Gonnard | 40f315a | 2015-03-13 13:49:26 +0000 | [diff] [blame] | 40 | Setting the variable SHARED in your environment will build a shared library in addition to the static library. Setting DEBUG gives you a debug build. You can override CFLAGS and LDFLAGS by setting them in your environment or on the make command line; if you do so, essential parts such as -I will still be preserved. Warning options may be overridden separately using WARNING_CFLAGS. |
| 41 | |
Manuel Pégourié-Gonnard | fe44643 | 2015-03-06 13:17:10 +0000 | [diff] [blame] | 42 | Depending on your platform, you might run into some issues. Please check the Makefiles in *library/*, *programs/* and *tests/* for options to manually add or remove for specific platforms. You can also check `the mbed TLS Knowledge Base <https://tls.mbed.org/kb>`_ for articles on your platform or issue. |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 43 | |
| 44 | In case you find that you need to do something else as well, please let us know what, so we can add it to the KB. |
| 45 | |
| 46 | CMake |
| 47 | ----- |
| 48 | |
Paul Bakker | 5c7bc9c | 2014-05-02 13:11:59 +0200 | [diff] [blame] | 49 | In order to build the source using CMake, just enter at the command line:: |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 50 | |
| 51 | cmake . |
| 52 | |
| 53 | make |
| 54 | |
Manuel Pégourié-Gonnard | ca89d89 | 2014-11-13 13:56:05 +0100 | [diff] [blame] | 55 | There are many different build modes available within the CMake buildsystem. Most of them are available for gcc and clang, though some are compiler-specific: |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 56 | |
| 57 | - Release. |
| 58 | This generates the default code without any unnecessary information in the binary files. |
| 59 | - Debug. |
| 60 | This generates debug information and disables optimization of the code. |
| 61 | - Coverage. |
| 62 | This generates code coverage information in addition to debug information. |
Manuel Pégourié-Gonnard | e306fe0 | 2014-06-25 12:42:46 +0200 | [diff] [blame] | 63 | - ASan. |
| 64 | This instruments the code with AddressSanitizer to check for memory errors. |
Manuel Pégourié-Gonnard | ca89d89 | 2014-11-13 13:56:05 +0100 | [diff] [blame] | 65 | (This includes LeakSanitizer, with recent version of gcc and clang.) |
Reini Urban | 70dbfaa | 2015-02-09 15:24:08 +0100 | [diff] [blame] | 66 | (With recent version of clang, this mode also instruments the code with |
Manuel Pégourié-Gonnard | ca89d89 | 2014-11-13 13:56:05 +0100 | [diff] [blame] | 67 | UndefinedSanitizer to check for undefined behaviour.) |
| 68 | - ASanDbg. |
| 69 | Same as ASan but slower, with debug information and better stack traces. |
| 70 | - MemSan. |
Paul Bakker | 6152b02 | 2015-04-14 15:00:09 +0200 | [diff] [blame] | 71 | This instruments the code with MemorySanitizer to check for uninitialised |
Manuel Pégourié-Gonnard | ca89d89 | 2014-11-13 13:56:05 +0100 | [diff] [blame] | 72 | memory reads. Experimental, needs recent clang on Linux/x86_64. |
| 73 | - MemSanDbg. |
| 74 | Same as ASan but slower, with debug information, better stack traces and |
| 75 | origin tracking. |
Manuel Pégourié-Gonnard | e306fe0 | 2014-06-25 12:42:46 +0200 | [diff] [blame] | 76 | - Check. |
Reini Urban | 70dbfaa | 2015-02-09 15:24:08 +0100 | [diff] [blame] | 77 | This activates the compiler warnings that depend on optimization and treats |
Manuel Pégourié-Gonnard | ca89d89 | 2014-11-13 13:56:05 +0100 | [diff] [blame] | 78 | all warnings as errors. |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 79 | |
| 80 | Switching build modes in CMake is simple. For debug mode, enter at the command line: |
| 81 | |
| 82 | cmake -D CMAKE_BUILD_TYPE:String="Debug" . |
| 83 | |
Manuel Pégourié-Gonnard | e80083c | 2014-11-14 13:52:32 +0100 | [diff] [blame] | 84 | Note that, with CMake, if you want to change the compiler or its options after you already ran CMake, you need to clear its cache first, eg (using GNU find):: |
| 85 | |
| 86 | find . -iname '*cmake*' -not -name CMakeLists.txt -exec rm -rf {} + |
| 87 | CC=gcc CFLAGS='-fstack-protector-strong -Wa,--noexecstack' cmake . |
| 88 | |
Paul Bakker | 5c7bc9c | 2014-05-02 13:11:59 +0200 | [diff] [blame] | 89 | In order to run the tests, enter:: |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 90 | |
| 91 | make test |
| 92 | |
| 93 | Microsoft Visual Studio |
| 94 | ----------------------- |
| 95 | |
Paul Bakker | 5c7bc9c | 2014-05-02 13:11:59 +0200 | [diff] [blame] | 96 | The build files for Microsoft Visual Studio are generated for Visual Studio 6.0 and Visual Studio 2010. |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 97 | |
Manuel Pégourié-Gonnard | 83b04de | 2015-03-09 17:33:07 +0000 | [diff] [blame] | 98 | The workspace 'mbedtls.dsw' contains all the basic projects needed to build the library and all the programs. The files in tests are not generated and compiled, as these need a perl environment as well. |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 99 | |
| 100 | Example programs |
| 101 | ================ |
| 102 | |
| 103 | We've included example programs for a lot of different features and uses in *programs/*. Most programs only focus on a single feature or usage scenario, so keep that in mind when copying parts of the code. |
| 104 | |
| 105 | Tests |
| 106 | ===== |
| 107 | |
Manuel Pégourié-Gonnard | b4fe3cb | 2015-01-22 16:11:05 +0000 | [diff] [blame] | 108 | mbed TLS includes an elaborate test suite in *tests/* that initially requires Perl to generate the tests files (e.g. *test_suite_mpi.c*). These files are generates from a **function file** (e.g. *suites/test_suite_mpi.function*) and a **data file** (e.g. *suites/test_suite_mpi.data*). The **function file** contains the template for each test function. The **data file** contains the test cases, specified as parameters that should be pushed into a template function. |
Paul Bakker | 5c7bc9c | 2014-05-02 13:11:59 +0200 | [diff] [blame] | 109 | |
Reini Urban | 70dbfaa | 2015-02-09 15:24:08 +0100 | [diff] [blame] | 110 | For machines with a Unix shell and OpenSSL (and optionally GnuTLS) installed, additional test scripts are available: |
Manuel Pégourié-Gonnard | ca89d89 | 2014-11-13 13:56:05 +0100 | [diff] [blame] | 111 | |
| 112 | - *tests/ssl-opt.sh* runs integration tests for various TLS options (renegotiation, resumption, etc.) and tests interoperability of these options with other implementations. |
| 113 | - *tests/compat.sh* tests interoperability of every ciphersuite with other implementations. |
| 114 | - *tests/scripts/test-ref-configs.pl* test builds in various reduced configurations. |
| 115 | - *tests/scripts/all.sh* runs a combination of the above tests with various build options (eg ASan). |
| 116 | |
Paul Bakker | 5c7bc9c | 2014-05-02 13:11:59 +0200 | [diff] [blame] | 117 | Configurations |
| 118 | ============== |
| 119 | |
| 120 | We provide some non-standard configurations focused on specific use cases in the configs/ directory. You can read more about those in configs/README.txt |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 121 | |
| 122 | Contributing |
| 123 | ============ |
| 124 | |
Paul Bakker | 5c7bc9c | 2014-05-02 13:11:59 +0200 | [diff] [blame] | 125 | We graciously accept bugs and contributions from the community. There are some requirements we need to fulfil in order to be able to integrate contributions in the main code. |
| 126 | |
| 127 | Simple bug fixes to existing code do not contain copyright themselves and we can integrate those without any issue. The same goes for trivial contributions. |
| 128 | |
| 129 | For larger contributions, e.g. a new feature, the code possible falls under copyright law. We then need your consent to share in the ownership of the copyright. We have a form for that, which we will mail to you in case you submit a contribution or pull request that we deem this necessary for. |
| 130 | |
| 131 | Process |
| 132 | ------- |
Manuel Pégourié-Gonnard | fe44643 | 2015-03-06 13:17:10 +0000 | [diff] [blame] | 133 | #. `Check for open issues <https://github.com/ARMmbed/mbedtls/issues>`_ or |
| 134 | `start a discussion <https://tls.mbed.org/discussions>`_ around a feature |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 135 | idea or a bug. |
Manuel Pégourié-Gonnard | fe44643 | 2015-03-06 13:17:10 +0000 | [diff] [blame] | 136 | #. Fork the `mbed TLS repository on Github <https://github.com/ARMmbed/mbedtls>`_ |
Paul Bakker | 6d72f33 | 2013-06-28 10:25:03 +0200 | [diff] [blame] | 137 | to start making your changes. |
| 138 | #. Write a test which shows that the bug was fixed or that the feature works |
| 139 | as expected. |
| 140 | #. Send a pull request and bug us until it gets merged and published. We will |
| 141 | include your name in the ChangeLog :) |