commit 62dddd08fd5a73f7ffdfbe754d5688c9c5277bd3
author Christoph M. Wintersteiger <cwinter@microsoft.com> Fri Dec 14 13:07:50 2018 +0000
committer Janos Follath <janos.follath@arm.com> Mon Aug 19 13:36:44 2019 +0100
tree 66c2306da4732543418c7a1f447b01d7c7777aef
parent 2e724a18a10c3243b85f9cff15d9b33d7571564c

Add new 3rdparty build scripts

3rdparty/everest/Makefile.inc

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