| Christoph M. Wintersteiger | ea24394 | 2019-01-07 14:12:25 +0000 | [diff] [blame] | 1 | include_directories(include include/everest include/everest/kremlib) |
| 2 | |||||
| 3 | set(src_everest | ||||
| 4 | ${CMAKE_CURRENT_SOURCE_DIR}/library/everest.c | ||||
| 5 | ${CMAKE_CURRENT_SOURCE_DIR}/library/Hacl_Curve25519.c | ||||
| 6 | ${CMAKE_CURRENT_SOURCE_DIR}/library/x25519.c | ||||
| 7 | ${CMAKE_CURRENT_SOURCE_DIR}/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c | ||||
| 8 | PARENT_SCOPE | ||||
| 9 | ) | ||||
| 10 | |||||