commit 977d89ab294f2d125653481713d6ca03b0e0aa81
author Christoph M. Wintersteiger <cwinter@microsoft.com> Thu Oct 25 12:47:03 2018 +0100
committer Janos Follath <janos.follath@arm.com> Thu Aug 29 16:12:38 2019 +0100
tree 894f20aaf59ac443b873d5e51f32d0247487a129
parent 02b80488461f13c35fa258e33d0cbff9b6717329

ECDH: Include Everest Curve25519 in build scripts

library/CMakeLists.txt

diff --git a/library/CMakeLists.txt b/library/CMakeLists.txt
index c82784e..d1cf26f 100644
--- a/library/CMakeLists.txt
+++ b/library/CMakeLists.txt
@@ -66,6 +66,16 @@
     xtea.c
 )
 
+set(src_everest
+    ../3rdparty/everest/library/everest.c
+    ../3rdparty/everest/library/Hacl_Curve25519.c
+    ../3rdparty/everest/library/x25519.c
+    ../3rdparty/everest/library/kremlib/fstar_uint128.c
+    ../3rdparty/everest/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c
+)
+
+set(src_crypto ${src_crypto} ${src_everest})
+
 set(src_x509
     certs.c
     pkcs11.c