diff options
Diffstat (limited to 'src/parser/smt2/CMakeLists.txt')
-rw-r--r-- | src/parser/smt2/CMakeLists.txt | 24 |
1 files changed, 22 insertions, 2 deletions
diff --git a/src/parser/smt2/CMakeLists.txt b/src/parser/smt2/CMakeLists.txt index d35f500bb..b046a6767 100644 --- a/src/parser/smt2/CMakeLists.txt +++ b/src/parser/smt2/CMakeLists.txt @@ -1,9 +1,29 @@ -add_custom_target(AntlrSmt2 +set(parser_smt2_src_files + smt2.cpp + smt2.h + smt2_input.cpp + smt2_input.h + sygus_input.cpp + sygus_input.h +) + +set(parser_smt2_gen_src_files + Smt2Lexer.c + Smt2Parser.c +) + +add_custom_command( + OUTPUT ${parser_smt2_gen_src_files} Smt2Lexer.h Smt2Parser.h Smt2.tokens COMMAND ${ANTLR_BINARY} ${CMAKE_CURRENT_SOURCE_DIR}/Smt2.g -fo ${CMAKE_CURRENT_BINARY_DIR} + 2> /dev/null # Ignore Antlr3 warnings DEPENDS Smt2.g ) -#add_dependencies(... AntlrSmt2) + +add_library(parsersmt2 SHARED ${parser_smt2_src_files} ${parser_smt2_gen_src_files}) +set_target_properties(parsersmt2 PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4PARSERLIB) +set_source_files_properties(${parser_smt2_gen_src_files} PROPERTIES LANGUAGE CXX) +add_dependencies(parsersmt2 expr) |