| Christoph M. Wintersteiger | 62dddd0 | 2018-12-14 13:07:50 +0000 | [diff] [blame] | 1 | THIRDPARTY_INCLUDES+=-I../3rdparty/everest/include -I../3rdparty/everest/include/everest -I../3rdparty/everest/include/everest/kremlib |
| 2 | |||||
| 3 | THIRDPARTY_OBJECTS+= \ | ||||
| 4 | ../3rdparty/everest/library/everest.o \ | ||||
| 5 | ../3rdparty/everest/library/Hacl_Curve25519.o \ | ||||
| 6 | ../3rdparty/everest/library/x25519.o \ | ||||
| 7 | ../3rdparty/everest/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.o | ||||