ECDH: Include Everest Curve25519 in build scripts
diff --git a/library/CMakeLists.txt b/library/CMakeLists.txt
index b1f1fb3..009fb3e 100644
--- a/library/CMakeLists.txt
+++ b/library/CMakeLists.txt
@@ -94,6 +94,15 @@
)
endif()
+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})
if(CMAKE_COMPILER_IS_GNUCC)
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -Wmissing-declarations -Wmissing-prototypes")
endif(CMAKE_COMPILER_IS_GNUCC)