Add new 3rdparty build scripts
diff --git a/library/Makefile b/library/Makefile
index 72091b0..4a2479c 100644
--- a/library/Makefile
+++ b/library/Makefile
@@ -18,9 +18,6 @@
# To compile on Plan9:
# CFLAGS += -D_BSD_EXTENSION
-# Include directories for Everest code
-LOCAL_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
@@ -73,12 +70,6 @@
LOCAL_CFLAGS += -I../crypto/include
CRYPTO := ../crypto/library/
-OBJS_CRYPTO+= \
- ../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
-
OBJS_X509= certs.o pkcs11.o x509.o \
x509_create.o x509_crl.o x509_crt.o \
x509_csr.o x509write_crt.o x509write_csr.o
@@ -89,6 +80,10 @@
ssl_srv.o ssl_ticket.o \
ssl_tls.o
+include ../3rdparty/Makefile.inc
+LOCAL_CFLAGS+=$(THIRDPARTY_INCLUDES)
+OBJS_CRYPTO+=$(THIRDPARTY_OBJECTS)
+
.SILENT:
.PHONY: all static shared clean
@@ -170,4 +165,3 @@
else
del /Q /F *.o libmbed* $(OBJS_CRYPTO)
endif
-