Gilles Peskine
18a9d5b425
Use an indirect reference to detect the 3rdparty directory
2020-03-23 17:55:31 +01:00
Gilles Peskine
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
Janos Follath
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
Janos Follath
20082cb488
Correct 3rdparty include path for Mbed TLS
2019-08-20 15:18:19 +01:00
Christoph M. Wintersteiger
0969eeecbc
3rdparty: Fix Everest's mbedtls_x25519_get_params
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
d64e1e1e1c
3rdparty: Fix Everest header installation
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
ec70771a71
3rdparty: fix paths in Everest build scripts
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
26b98e12c5
3rdparty: Fix newlines and trailing whitespace
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
6e0cac1f57
3rdparty: Fix Everest build to not depend on build-time macros
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
7ec367ffc1
3rdparty: don't claim armcc support in Everest Readme.md
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
e7e74ba33b
3rdparty: Improve Everest README.md
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
1b73a71ac1
3rdparty: Fix .gitignore
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
8592958205
ECDH: Use macro-based sizes in Everest x25519
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
efdf4d7baa
ECDH: Fix Everest x25519 make_public
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
537f41ebbf
3rdparty: Updated comments for Everest x25519
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
088ef49681
3rdparty: Make proper use of mbedtls_platform_zeroize in Everest x25519
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
fb779f1700
3rdparty: Pull Everest x25519 key size into macro
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
f21aba4cb2
3rdparty: Fix Everest platform detection for CMake
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
737df0c755
Fix file permissions
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
9b5e77e2e3
3rdparty: Use LOCAL_FLAGS instead of CFLAGS
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
2d4725f204
3rdparty: Rename THIRDPARTY_OBJECTS
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
f43e1d942f
3rdparty: Remove unnecessary copy of license file
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
20819afcad
3rdparty: Adjust .gitignore
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
02174b90dc
3rdparty: Fix Makefile coding conventions
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
6ea2dea1c5
3rdparty: Add additional build facilities for 3rd-party code
2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger
ea24394c03
ECDH: Fix whitespace and permission problems
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
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
Christoph M. Wintersteiger
62dddd08fd
Add new 3rdparty build scripts
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
24fbceff50
ECDH: Everest: Remove unnecessary file
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
c3cbddecb5
ECDH: Fix whitespace, permissions
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
4936beb513
ECDH: Clean up the interface to Everest code
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
6acfbb52d7
ECDH: Add #ifdef to cleanly disable the Everest code
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
fb72367f96
ECDH: Remove old code from mbedtls_everest_make_params
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
d5fd766c49
ECDH: Include Everest Curve25519 in build scripts
2019-08-19 13:36:44 +01:00
Christoph M. Wintersteiger
de4fcf2ae3
ECDH: Add new ECDH context for Everest Curve25519
2019-08-19 13:19:38 +01:00
Christoph M. Wintersteiger
2a9684e7c9
ECDH: Add VS2010 support files for Everest Curve25519
2019-08-19 13:19:38 +01:00
Christoph M. Wintersteiger
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
