commit 6e0cac1f577db5042655c11e3562dcc53fb9df55
author Christoph M. Wintersteiger <cwinter@microsoft.com> Fri Feb 22 17:02:12 2019 +0000
committer Janos Follath <janos.follath@arm.com> Mon Aug 19 13:37:46 2019 +0100
tree e473a454b005caa13a26e10bbb0f10fe34d8f25e
parent 2c69d10bac678d0d86615de3d01b3d5bbb4b8c45

3rdparty: Fix Everest build to not depend on build-time macros

3rdparty/everest/library/x25519.c

diff --git a/3rdparty/everest/library/x25519.c b/3rdparty/everest/library/x25519.c
index f5856c2..c3bc862 100644
--- a/3rdparty/everest/library/x25519.c
+++ b/3rdparty/everest/library/x25519.c
@@ -25,10 +25,14 @@
 #include MBEDTLS_CONFIG_FILE
 #endif
 
-#if defined(MBEDTLS_ECDH_C)
+#if defined(MBEDTLS_ECDH_C) && defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED)
 
 #include <mbedtls/ecdh.h>
 
+#if !(defined(__SIZEOF_INT128__) && (__SIZEOF_INT128__ == 16))
+#define KRML_VERIFIED_UINT128
+#endif
+
 #include <Hacl_Curve25519.h>
 #include <mbedtls/platform_util.h>
 
@@ -188,4 +192,4 @@
 }
 
 
-#endif /* MBEDTLS_ECDH_C */
+#endif /* MBEDTLS_ECDH_C && MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED */