diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-17 18:11:26 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 1ca4a5cc3697d5df15ed18c07531b349625866f8 (patch) | |
tree | b485dbc15733a2094a20516fb154ab1303d88dc1 /src/main/CMakeLists.txt | |
parent | b812d3303748704d5582a16a5d095d03955fe900 (diff) |
cmake: Add portfolio support.
Diffstat (limited to 'src/main/CMakeLists.txt')
-rw-r--r-- | src/main/CMakeLists.txt | 48 |
1 files changed, 27 insertions, 21 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index 9d69abbcd..23f16ccb7 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -14,32 +14,38 @@ if(USE_READLINE) target_link_libraries(main ${Readline_LIBRARIES}) target_include_directories(main PRIVATE ${Readline_INCLUDE_DIR}) endif() +add_dependencies(main token-headers) -set(cvc4main_src_files - main.cpp -) - -add_executable(cvc4-main ${cvc4main_src_files}) -target_compile_definitions(cvc4-main PRIVATE -D__BUILDING_CVC4DRIVER) -set_target_properties(cvc4-main +add_executable(cvc4-bin main.cpp) +target_compile_definitions(cvc4-bin PRIVATE -D__BUILDING_CVC4DRIVER) +set_target_properties(cvc4-bin PROPERTIES OUTPUT_NAME cvc4 RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin) -target_link_libraries(cvc4-main main) -add_dependencies(cvc4-main token-headers) +target_link_libraries(cvc4-bin main) -#set(pcvc4_src_files -# main.cpp -# portfolio.cpp -# portfolio.h -# portfolio_util.cpp -# portfolio_util.h -# command_executor.cpp -# command_executor_portfolio.cpp -# command_executor.h -# command_executor_portfolio.h -# driver_unified.cpp -#) +if(ENABLE_PORTFOLIO) + set(pcvc4_src_files + main.cpp + portfolio.cpp + portfolio.h + portfolio_util.cpp + portfolio_util.h + command_executor_portfolio.cpp + command_executor_portfolio.h + ) + + add_executable(pcvc4-bin ${pcvc4_src_files}) + target_compile_definitions(pcvc4-bin PRIVATE -D__BUILDING_CVC4DRIVER) + set_target_properties(pcvc4-bin + PROPERTIES + OUTPUT_NAME pcvc4 + RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin) + target_link_libraries(pcvc4-bin main) + add_dependencies(pcvc4-bin token-headers) + target_link_libraries(pcvc4-bin ${Boost_LIBRARIES}) + target_include_directories(pcvc4-bin PRIVATE ${Boost_INCLUDE_DIRS}) +endif() add_custom_command( OUTPUT cvc_tokens.h |