blob: 89f440e8ed2edb51eca14425effc3ac6d01783bf (
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
|
set(parser_smt1_src_files
smt1.cpp
smt1.h
smt1_input.cpp
smt1_input.h
)
set(parser_smt1_gen_src_files
Smt1Lexer.c
Smt1Parser.c
)
add_custom_command(
OUTPUT ${parser_smt1_gen_src_files} Smt1Lexer.h Smt1Parser.h Smt1.tokens
COMMAND
${ANTLR_BINARY}
${CMAKE_CURRENT_SOURCE_DIR}/Smt1.g
-fo ${CMAKE_CURRENT_BINARY_DIR}
2> /dev/null # Ignore Antlr3 warnings
DEPENDS
Smt1.g
)
add_library(parsersmt1 SHARED ${parser_smt1_src_files} ${parser_smt1_gen_src_files})
set_target_properties(parsersmt1 PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4PARSERLIB)
set_source_files_properties(${parser_smt1_gen_src_files} PROPERTIES LANGUAGE CXX)
add_dependencies(parsersmt1 expr)
|