commit f21aba4cb2869d0f229c5a2d9e8461ce23592ea0
author Christoph M. Wintersteiger <cwinter@microsoft.com> Fri Feb 15 16:06:19 2019 +0000
committer Janos Follath <janos.follath@arm.com> Mon Aug 19 13:37:46 2019 +0100
tree 1d24174e25da14dc6b41d3ba03edf46a25f71eeb
parent cb31073e1c505cbc0a7898dc8420826061be3db4

3rdparty: Fix Everest platform detection for CMake

3rdparty/everest/CMakeLists.txt

diff --git a/3rdparty/everest/CMakeLists.txt b/3rdparty/everest/CMakeLists.txt
index 5b0a078..2c5d7d5 100644
--- a/3rdparty/everest/CMakeLists.txt
+++ b/3rdparty/everest/CMakeLists.txt
@@ -11,7 +11,7 @@
     ${CMAKE_CURRENT_SOURCE_DIR}/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c
   )
 
-  if (${CMAKE_LIBRARY_ARCHITECTURE} STREQUAL "x86_64-linux-gnu")
+  if ("${CMAKE_LIBRARY_ARCHITECTURE}" STREQUAL "x86_64-linux-gnu")
   list(APPEND everest_src ${CMAKE_CURRENT_SOURCE_DIR}/library/Hacl_Curve25519.c)
   else()
   list(APPEND everest_def -DKRML_VERIFIED_UINT128)