Add new 3rdparty build scripts
diff --git a/library/CMakeLists.txt b/library/CMakeLists.txt
index 009fb3e..a6eb1ed 100644
--- a/library/CMakeLists.txt
+++ b/library/CMakeLists.txt
@@ -74,6 +74,7 @@
     threading.c
     timing.c
     xtea.c
+    ${src_thirdparty}
 )
 
 # For files generated by the parent project (Mbed TLS) when building Mbed
@@ -94,15 +95,6 @@
 )
 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)