| 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 | |
| 6 | THIRDPARTY_OBJECTS+= \ |
| 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) |
| 12 | THIRDPARTY_OBJECTS+=../3rdparty/everest/library/Hacl_Curve25519.o |
| 13 | else |
| 14 | CFLAGS+="-DKRML_VERIFIED_UINT128" |
| 15 | THIRDPARTY_OBJECTS+=../3rdparty/everest/library/legacy/Hacl_Curve25519.o \ |
| 16 | ../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o |
| 17 | endif |
| 18 | endif |