ECDH: Include Everest Curve25519 in build scripts
diff --git a/library/Makefile b/library/Makefile
index 736ce09..58ecb0c 100644
--- a/library/Makefile
+++ b/library/Makefile
@@ -19,6 +19,9 @@
# To compile on Plan9:
# CFLAGS += -D_BSD_EXTENSION
+# Include directories for Everest code
+CFLAGS+=-I../3rdparty/everest/include -I../3rdparty/everest/include/everest -I../3rdparty/everest/include/everest/kremlib
+
# if were running on Windows build for Windows
ifdef WINDOWS
WINDOWS_BUILD=1
@@ -101,6 +104,13 @@
OBJS_CRYPTO += version_features.o
endif
+OBJS_CRYPTO+= \
+ ../3rdparty/everest/library/everest.o \
+ ../3rdparty/everest/library/Hacl_Curve25519.o \
+ ../3rdparty/everest/library/x25519.o \
+ ../3rdparty/everest/library/kremlib/fstar_uint128.o \
+ ../3rdparty/everest/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.o
+
.SILENT:
.PHONY: all static shared clean
@@ -148,8 +158,10 @@
clean:
ifndef WINDOWS
- rm -f *.o libmbed*
+ rm -f *.o libmbed* $(OBJS_CRYPTO)
else
if exist *.o del /Q /F *.o
if exist libmbed* del /Q /F libmbed*
+ if exist $(OBJS_CRYPTO) del /Q /F $(OBJS_CRYPTO)
endif
+