From 12f0e2cd11e4bb9e0aa829f95bb437bee0e929cb Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 4 Oct 2017 14:18:23 +0100
Subject: [CMake] Fix bug when doing non-assert builds.

It seems we need to pass `-D` to CMake explicitly.
---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index c61c2431..ed031459 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -170,7 +170,7 @@ if (ENABLE_KLEE_ASSERTS)
   # Assume that -DNDEBUG isn't set.
 else()
   message(STATUS "KLEE assertions disabled")
-  list(APPEND KLEE_COMPONENT_CXX_DEFINES "NDEBUG")
+  list(APPEND KLEE_COMPONENT_CXX_DEFINES "-DNDEBUG")
 endif()
 
 ################################################################################
-- 
cgit 1.4.1