blob: 23f16ccb747cb7a03d23fb021210840b1a378eba (
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
set(libmain_src_files
command_executor.cpp
driver_unified.cpp
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)
if(USE_READLINE)
target_link_libraries(main ${Readline_LIBRARIES})
target_include_directories(main PRIVATE ${Readline_INCLUDE_DIR})
endif()
add_dependencies(main token-headers)
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-bin main)
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
COMMAND
sh ${CMAKE_CURRENT_LIST_DIR}/gen-token-header.sh
${CMAKE_CURRENT_LIST_DIR}/../parser/cvc/Cvc.g
${CMAKE_CURRENT_BINARY_DIR}/cvc_tokens.h
DEPENDS ../parser/cvc/Cvc.g
)
add_custom_command(
OUTPUT smt1_tokens.h
COMMAND
sh ${CMAKE_CURRENT_LIST_DIR}/gen-token-header.sh
${CMAKE_CURRENT_LIST_DIR}/../parser/smt1/Smt1.g
${CMAKE_CURRENT_BINARY_DIR}/smt1_tokens.h
DEPENDS ../parser/smt1/Smt1.g
)
add_custom_command(
OUTPUT smt2_tokens.h
COMMAND
sh ${CMAKE_CURRENT_LIST_DIR}/gen-token-header.sh
${CMAKE_CURRENT_LIST_DIR}/../parser/smt2/Smt2.g
${CMAKE_CURRENT_BINARY_DIR}/smt2_tokens.h
DEPENDS ../parser/smt2/Smt2.g
)
add_custom_command(
OUTPUT tptp_tokens.h
COMMAND
sh ${CMAKE_CURRENT_LIST_DIR}/gen-token-header.sh
${CMAKE_CURRENT_LIST_DIR}/../parser/tptp/Tptp.g
${CMAKE_CURRENT_BINARY_DIR}/tptp_tokens.h
DEPENDS ../parser/tptp/Tptp.g
)
add_custom_target(
token-headers
DEPENDS cvc_tokens.h smt1_tokens.h smt2_tokens.h tptp_tokens.h
)
|
