commit ea24394c03ce5947237f3b015a14dd20a3c34d2c
author Christoph M. Wintersteiger <cwinter@microsoft.com> Mon Jan 07 14:12:25 2019 +0000
committer Janos Follath <janos.follath@arm.com> Mon Aug 19 13:36:44 2019 +0100
tree fdefa6f92a5ce10b263c222f85ff427b008d6e9c
parent 0082f9df6f26b982f74a3301399f66ba7a6eb039

ECDH: Fix whitespace and permission problems

3rdparty/everest/CMakeLists.txt

diff --git a/3rdparty/everest/CMakeLists.txt b/3rdparty/everest/CMakeLists.txt
old mode 100755
new mode 100644
index 25f50ca..84e2763
--- a/3rdparty/everest/CMakeLists.txt
+++ b/3rdparty/everest/CMakeLists.txt
@@ -1,9 +1,10 @@
-include_directories(include include/everest include/everest/kremlib)

-

-set(src_everest

-  ${CMAKE_CURRENT_SOURCE_DIR}/library/everest.c

-  ${CMAKE_CURRENT_SOURCE_DIR}/library/Hacl_Curve25519.c

-  ${CMAKE_CURRENT_SOURCE_DIR}/library/x25519.c

-  ${CMAKE_CURRENT_SOURCE_DIR}/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c

-  PARENT_SCOPE

-)
\ No newline at end of file
+include_directories(include include/everest include/everest/kremlib)
+
+set(src_everest
+  ${CMAKE_CURRENT_SOURCE_DIR}/library/everest.c
+  ${CMAKE_CURRENT_SOURCE_DIR}/library/Hacl_Curve25519.c
+  ${CMAKE_CURRENT_SOURCE_DIR}/library/x25519.c
+  ${CMAKE_CURRENT_SOURCE_DIR}/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c
+  PARENT_SCOPE
+)
+