diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-10 16:19:43 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | d5614f1c7f0380266abf6fd185b13d654657731d (patch) | |
| tree | f73702f3c2e823a6a785f1465a06d221ef14d07b /src/parser/cvc | |
| parent | 424923f1317f3182574ebe730ebe0c81b7dbf494 (diff) | |
cmake: Working build infrastructure.
TODO: cvc4autoconfig.h
Diffstat (limited to 'src/parser/cvc')
| -rw-r--r-- | src/parser/cvc/CMakeLists.txt | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/src/parser/cvc/CMakeLists.txt b/src/parser/cvc/CMakeLists.txt index 1f176cfb6..8f27cbb25 100644 --- a/src/parser/cvc/CMakeLists.txt +++ b/src/parser/cvc/CMakeLists.txt @@ -1,9 +1,25 @@ -add_custom_target(AntlrCvc +set(parser_cvc_src_files + cvc_input.cpp + cvc_input.h +) + +set(parser_cvc_gen_src_files + CvcLexer.c + CvcParser.c +) + +add_custom_command( + OUTPUT ${parser_cvc_gen_src_files} CvcLexer.h CvcParser.h Cvc.tokens COMMAND ${ANTLR_BINARY} ${CMAKE_CURRENT_SOURCE_DIR}/Cvc.g -fo ${CMAKE_CURRENT_BINARY_DIR} + 2> /dev/null # Ignore Antlr3 warnings DEPENDS Cvc.g ) -#add_dependencies(... AntlrCvc) + +add_library(parsercvc SHARED ${parser_cvc_src_files} ${parser_cvc_gen_src_files}) +set_target_properties(parsercvc PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4PARSERLIB) +set_source_files_properties(${parser_cvc_gen_src_files} PROPERTIES LANGUAGE CXX) +add_dependencies(parsercvc expr) |