| Christoph M. Wintersteiger | 6ea2dea1 | 2019-01-21 17:26:19 +0000 | [diff] [blame] | 1 | EVEREST_ENABLED=$(shell perl ../scripts/config.pl -f ../include/mbedtls/config.h get MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED; echo $$?) |
| 2 | |
| 3 | ifeq ($(EVEREST_ENABLED),0) |
| 4 | THIRDPARTY_INCLUDES+=-I../3rdparty/everest/include -I../3rdparty/everest/include/everest -I../3rdparty/everest/include/everest/kremlib |
| 5 | |
| Christoph M. Wintersteiger | 2d4725f | 2019-02-15 13:35:04 +0000 | [diff] [blame^] | 6 | THIRDPARTY_CRYPTO_OBJECTS+= \ |
| Christoph M. Wintersteiger | 6ea2dea1 | 2019-01-21 17:26:19 +0000 | [diff] [blame] | 7 | ../3rdparty/everest/library/everest.o \ |
| 8 | ../3rdparty/everest/library/x25519.o \ |
| 9 | ../3rdparty/everest/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.o |
| 10 | |
| 11 | ifeq ($(shell getconf LONG_BIT),64) |
| Christoph M. Wintersteiger | 2d4725f | 2019-02-15 13:35:04 +0000 | [diff] [blame^] | 12 | THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/Hacl_Curve25519.o |
| Christoph M. Wintersteiger | 6ea2dea1 | 2019-01-21 17:26:19 +0000 | [diff] [blame] | 13 | else |
| 14 | CFLAGS+="-DKRML_VERIFIED_UINT128" |
| Christoph M. Wintersteiger | 2d4725f | 2019-02-15 13:35:04 +0000 | [diff] [blame^] | 15 | THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/legacy/Hacl_Curve25519.o \ |
| Christoph M. Wintersteiger | 6ea2dea1 | 2019-01-21 17:26:19 +0000 | [diff] [blame] | 16 | ../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o |
| 17 | endif |
| 18 | endif |
| Christoph M. Wintersteiger | 02174b9 | 2019-02-15 12:39:21 +0000 | [diff] [blame] | 19 | |