Add new 3rdparty build scripts
diff --git a/3rdparty/CMakeLists.txt b/3rdparty/CMakeLists.txt
new file mode 100755
index 0000000..df28699
--- /dev/null
+++ b/3rdparty/CMakeLists.txt
@@ -0,0 +1,6 @@
+add_subdirectory(everest)
+
+set(src_thirdparty
+ ${src_everest}
+ PARENT_SCOPE
+)
diff --git a/3rdparty/Makefile.inc b/3rdparty/Makefile.inc
new file mode 100755
index 0000000..757bd5f
--- /dev/null
+++ b/3rdparty/Makefile.inc
@@ -0,0 +1 @@
+include ../3rdparty/everest/Makefile.inc
\ No newline at end of file
diff --git a/3rdparty/everest/CMakeLists.txt b/3rdparty/everest/CMakeLists.txt
new file mode 100755
index 0000000..25f50ca
--- /dev/null
+++ b/3rdparty/everest/CMakeLists.txt
@@ -0,0 +1,9 @@
+include_directories(include include/everest include/everest/kremlib)
+
+set(src_everest
+ ${CMAKE_CURRENT_SOURCE_DIR}/library/everest.c
+ ${CMAKE_CURRENT_SOURCE_DIR}/library/Hacl_Curve25519.c
+ ${CMAKE_CURRENT_SOURCE_DIR}/library/x25519.c
+ ${CMAKE_CURRENT_SOURCE_DIR}/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c
+ PARENT_SCOPE
+)
\ No newline at end of file
diff --git a/3rdparty/everest/Makefile.inc b/3rdparty/everest/Makefile.inc
new file mode 100755
index 0000000..bbdba56
--- /dev/null
+++ b/3rdparty/everest/Makefile.inc
@@ -0,0 +1,7 @@
+THIRDPARTY_INCLUDES+=-I../3rdparty/everest/include -I../3rdparty/everest/include/everest -I../3rdparty/everest/include/everest/kremlib
+
+THIRDPARTY_OBJECTS+= \
+ ../3rdparty/everest/library/everest.o \
+ ../3rdparty/everest/library/Hacl_Curve25519.o \
+ ../3rdparty/everest/library/x25519.o \
+ ../3rdparty/everest/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.o
\ No newline at end of file