blob: a66ab5a1e7fe9ea65ef564088bcc7053c6f39cc3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
set(libmain_src_files
interactive_shell.cpp
interactive_shell.h
main.h
util.cpp
)
add_library(main ${libmain_src_files})
target_compile_definitions(main PRIVATE -D__BUILDING_CVC4DRIVER)
target_link_libraries(main cvc4 cvc4parser)
set(cvc4main_src_files
command_executor.cpp
driver_unified.cpp
main.cpp
)
add_executable(cvc4-main ${cvc4main_src_files})
target_compile_definitions(cvc4-main PRIVATE -D__BUILDING_CVC4DRIVER)
set_target_properties(cvc4-main PROPERTIES OUTPUT_NAME cvc4)
target_link_libraries(cvc4-main 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
#)
|