mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

CMake 2.8.12 doesn't support the `continue()` command.

Browse source
This commit is contained in:
Dan Liew 2016-02-29 15:38:53 +00:00
parent e1584cc9c7
commit 9f5f8f128f
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/shell/CMakeLists.txt
View file

@ -12,11 +12,10 @@ set(shell_deps api extra_cmds opt sat)
z3_expand_dependencies(shell_expanded_deps ${shell_deps}) z3_expand_dependencies(shell_expanded_deps ${shell_deps})
get_property(Z3_LIBZ3_COMPONENTS_LIST GLOBAL PROPERTY Z3_LIBZ3_COMPONENTS) get_property(Z3_LIBZ3_COMPONENTS_LIST GLOBAL PROPERTY Z3_LIBZ3_COMPONENTS)
foreach (component ${Z3_LIBZ3_COMPONENTS_LIST}) 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 # We don't use the api_dll component in the Z3 executable
continue() list(APPEND shell_object_files $<TARGET_OBJECTS:${component}>)
endif() endif()
list(APPEND shell_object_files $<TARGET_OBJECTS:${component}>)
endforeach() endforeach()
add_executable(shell add_executable(shell
datalog_frontend.cpp datalog_frontend.cpp