diff options
Diffstat (limited to 'src/parser/smt1/CMakeLists.txt')
| -rw-r--r-- | src/parser/smt1/CMakeLists.txt | 22 |
1 files changed, 20 insertions, 2 deletions
diff --git a/src/parser/smt1/CMakeLists.txt b/src/parser/smt1/CMakeLists.txt index f219d85d9..89f440e8e 100644 --- a/src/parser/smt1/CMakeLists.txt +++ b/src/parser/smt1/CMakeLists.txt @@ -1,9 +1,27 @@ -add_custom_target(AntlrSmt1 +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_dependencies(... AntlrSmt1) + +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) |