From 9f5f8f128f92fd78409b5c7c89235217dc5d9ec8 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 29 Feb 2016 15:38:53 +0000
Subject: [PATCH] CMake 2.8.12 doesn't support the ``continue()`` command.

---
 src/shell/CMakeLists.txt | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index 82113bbb7..c8d125ff6 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -12,11 +12,10 @@ set(shell_deps api extra_cmds opt sat)
 z3_expand_dependencies(shell_expanded_deps ${shell_deps})
 get_property(Z3_LIBZ3_COMPONENTS_LIST GLOBAL PROPERTY Z3_LIBZ3_COMPONENTS)
 foreach (component ${Z3_LIBZ3_COMPONENTS_LIST})
-  if ("${component}" STREQUAL "api_dll")
+  if (NOT ("${component}" STREQUAL "api_dll"))
     # We don't use the api_dll component in the Z3 executable
-    continue()
+    list(APPEND shell_object_files $<TARGET_OBJECTS:${component}>)
   endif()
-  list(APPEND shell_object_files $<TARGET_OBJECTS:${component}>)
 endforeach()
 add_executable(shell
   datalog_frontend.cpp