commit 89f36aeb2a06c528bb247ee284d3120c717583f1
author Christoph M. Wintersteiger <cwinter@microsoft.com> Fri Dec 14 13:07:50 2018 +0000
committer Janos Follath <janos.follath@arm.com> Thu Aug 29 16:12:38 2019 +0100
tree 3ff448f0b4ee174ac533cf3802627f32542120c8
parent e14c779615c5690179beedd289a86fc2c4f01bb9

Add new 3rdparty build scripts

library/CMakeLists.txt

diff --git a/library/CMakeLists.txt b/library/CMakeLists.txt
index d1cf26f..afabdf7 100644
--- a/library/CMakeLists.txt
+++ b/library/CMakeLists.txt
@@ -64,18 +64,9 @@
     version.c
     version_features.c
     xtea.c
+    ${src_thirdparty}
 )
 
-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