blob: 5712e8175e4b4967fc23ce15a864616a9e066f98 (
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
|
set(parser_tptp_src_files
tptp.cpp
tptp.h
tptp_input.cpp
tptp_input.h
)
set(parser_tptp_gen_src_files
TptpLexer.c
TptpParser.c
)
add_custom_command(
OUTPUT ${parser_tptp_gen_src_files} TptpLexer.h TptpParser.h Tptp.tokens
COMMAND
${ANTLR_BINARY}
${CMAKE_CURRENT_SOURCE_DIR}/Tptp.g
-fo ${CMAKE_CURRENT_BINARY_DIR}
DEPENDS
Tptp.g
)
add_library(parsertptp ${parser_tptp_src_files} ${parser_tptp_gen_src_files})
target_compile_definitions(parsertptp PRIVATE -D__BUILDING_CVC4PARSERLIB)
set_source_files_properties(${parser_tptp_gen_src_files} PROPERTIES LANGUAGE CXX)
target_link_libraries(parsertptp expr)
|