db09ef6d22
Include common.h instead of config.h in library source files
...
In library source files, include "common.h", which takes care of
including "mbedtls/config.h" (or the alternative MBEDTLS_CONFIG_FILE)
and other things that are used throughout the library.
FROM=$'#if !defined(MBEDTLS_CONFIG_FILE)\n#include "mbedtls/config.h"\n#else\n#include MBEDTLS_CONFIG_FILE\n#endif' perl -i -0777 -pe 's~\Q$ENV{FROM}~#include "common.h"~' library/*.c 3rdparty/*/library/*.c scripts/data_files/error.fmt scripts/data_files/version_features.fmt
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2020-07-02 11:26:57 +02:00
f19f312aa6
cmake: Add 3rd party public include directories
...
Add the possibility to distinguish between public and
non-public include directories. Public directories are
the one to use to access definitions of 3rd party code
interfaces.
Signed-off-by: Ronald Cron <ronald.cron@arm.com>
2020-06-22 13:44:03 +02:00
00f5b8cd63
cmake: Compile everest code only if necessary
...
Compile everest code only if
MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED is defined
in config.h
Signed-off-by: Ronald Cron <ronald.cron@arm.com>
2020-06-22 13:44:03 +02:00
3c1b090e58
Use FindPython3 when cmake version >= 3.15.0
...
Signed-off-by: okhowang(王沛文) <okhowang@tencent.com>
2020-06-10 10:21:50 +08:00
18a9d5b425
Use an indirect reference to detect the 3rdparty directory
2020-03-23 17:55:31 +01:00
3bdd412d09
Invoke config.py instead of config.pl
...
git grep -Fl /config.pl | xargs sed -i -e 's!/config\.pl!/config.py!g'
Also:
* Change one comment in include/mbedtls/check_config.h.
* Change PERL to PYTHON in CMakeLists.txt.
2019-11-13 14:33:33 +00:00
71dcefbb8a
Remove Mbed Crypto headers from everest_inc
...
At this point Mbed TLS and Mbed Crypto headers with the same name,
including the Mbed Crypto headers in `everest_inc` breaks Mbed TLS
builds.
2019-08-21 13:01:18 +01:00
20082cb488
Correct 3rdparty include path for Mbed TLS
2019-08-20 15:18:19 +01:00
0969eeecbc
3rdparty: Fix Everest's mbedtls_x25519_get_params
2019-08-19 13:37:46 +01:00
d64e1e1e1c
3rdparty: Fix Everest header installation
2019-08-19 13:37:46 +01:00
ec70771a71
3rdparty: fix paths in Everest build scripts
2019-08-19 13:37:46 +01:00
26b98e12c5
3rdparty: Fix newlines and trailing whitespace
2019-08-19 13:37:46 +01:00
6e0cac1f57
3rdparty: Fix Everest build to not depend on build-time macros
2019-08-19 13:37:46 +01:00
7ec367ffc1
3rdparty: don't claim armcc support in Everest Readme.md
2019-08-19 13:37:46 +01:00
e7e74ba33b
3rdparty: Improve Everest README.md
2019-08-19 13:37:46 +01:00
1b73a71ac1
3rdparty: Fix .gitignore
2019-08-19 13:37:46 +01:00
8592958205
ECDH: Use macro-based sizes in Everest x25519
2019-08-19 13:37:46 +01:00
efdf4d7baa
ECDH: Fix Everest x25519 make_public
2019-08-19 13:37:46 +01:00
537f41ebbf
3rdparty: Updated comments for Everest x25519
2019-08-19 13:37:46 +01:00
088ef49681
3rdparty: Make proper use of mbedtls_platform_zeroize in Everest x25519
2019-08-19 13:37:46 +01:00
fb779f1700
3rdparty: Pull Everest x25519 key size into macro
2019-08-19 13:37:46 +01:00
f21aba4cb2
3rdparty: Fix Everest platform detection for CMake
2019-08-19 13:37:46 +01:00
737df0c755
Fix file permissions
2019-08-19 13:37:46 +01:00
9b5e77e2e3
3rdparty: Use LOCAL_FLAGS instead of CFLAGS
2019-08-19 13:37:46 +01:00
2d4725f204
3rdparty: Rename THIRDPARTY_OBJECTS
2019-08-19 13:37:46 +01:00
f43e1d942f
3rdparty: Remove unnecessary copy of license file
2019-08-19 13:37:46 +01:00
20819afcad
3rdparty: Adjust .gitignore
2019-08-19 13:37:46 +01:00
02174b90dc
3rdparty: Fix Makefile coding conventions
2019-08-19 13:37:46 +01:00
6ea2dea1c5
3rdparty: Add additional build facilities for 3rd-party code
2019-08-19 13:37:46 +01:00
ea24394c03
ECDH: Fix whitespace and permission problems
2019-08-19 13:36:44 +01:00
8a0f5bb3c1
Make check-names.sh find the right names in 3rdparty
...
Essentially adds the Everest .h and .c files to the various variables. This
should be generalized at some point, but there is no infrastructure for this
yet.
2019-08-19 13:36:44 +01:00
62dddd08fd
Add new 3rdparty build scripts
2019-08-19 13:36:44 +01:00
24fbceff50
ECDH: Everest: Remove unnecessary file
2019-08-19 13:36:44 +01:00
c3cbddecb5
ECDH: Fix whitespace, permissions
2019-08-19 13:36:44 +01:00
4936beb513
ECDH: Clean up the interface to Everest code
2019-08-19 13:36:44 +01:00
6acfbb52d7
ECDH: Add #ifdef to cleanly disable the Everest code
2019-08-19 13:36:44 +01:00
fb72367f96
ECDH: Remove old code from mbedtls_everest_make_params
2019-08-19 13:36:44 +01:00
d5fd766c49
ECDH: Include Everest Curve25519 in build scripts
2019-08-19 13:36:44 +01:00
de4fcf2ae3
ECDH: Add new ECDH context for Everest Curve25519
2019-08-19 13:19:38 +01:00
2a9684e7c9
ECDH: Add VS2010 support files for Everest Curve25519
2019-08-19 13:19:38 +01:00
bee486146e
ECDH: Add Everest Curve25519 to 3rdparty/everest
...
These files are automatically generated by the Everest toolchain from F*
files. They do not respect the mbedTLS code style guidelines as manual
modification would invalidate verification guarantees. The files in
3rdparty/everest/include/kremli{n,b} are a customized (minimzed) version of the
support headers expected by the code extracted using KreMLin.
2019-08-19 13:19:38 +01:00
Gilles Peskine
Ronald Cron
okhowang(王沛文)
Janos Follath
Christoph M. Wintersteiger