blob: 9d69abbcd25ac1102385351e747e67efb5b9cad2 (
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
|
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()
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
PROPERTIES
OUTPUT_NAME cvc4
RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
target_link_libraries(cvc4-main main)
add_dependencies(cvc4-main token-headers)
#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
#)
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
)
|
