diff options
Diffstat (limited to 'src/parser/CMakeLists.txt')
| -rw-r--r-- | src/parser/CMakeLists.txt | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/parser/CMakeLists.txt b/src/parser/CMakeLists.txt index d79d7b22c..f2c1a6ef4 100644 --- a/src/parser/CMakeLists.txt +++ b/src/parser/CMakeLists.txt @@ -22,6 +22,8 @@ set(libcvc4parser_src_files bounded_token_buffer.h bounded_token_factory.cpp bounded_token_factory.h + cvc/cvc.cpp + cvc/cvc.h cvc/cvc_input.cpp cvc/cvc_input.h input.cpp @@ -35,10 +37,7 @@ set(libcvc4parser_src_files parser_builder.cpp parser_builder.h parser_exception.h - smt1/smt1.cpp - smt1/smt1.h - smt1/smt1_input.cpp - smt1/smt1_input.h + smt2/parse_op.h smt2/smt2.cpp smt2/smt2.h smt2/smt2_input.cpp @@ -56,7 +55,7 @@ set(libcvc4parser_src_files #-----------------------------------------------------------------------------# # Generate parsers for all supported languages -foreach(lang Cvc Smt1 Smt2 Tptp) +foreach(lang Cvc Smt2 Tptp) string(TOLOWER ${lang} lang_dir) file(MAKE_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${lang_dir}) add_custom_command( @@ -97,7 +96,9 @@ set_target_properties(cvc4parser PROPERTIES SOVERSION ${CVC4_SOVERSION}) target_compile_definitions(cvc4parser PRIVATE -D__BUILDING_CVC4PARSERLIB) target_link_libraries(cvc4parser cvc4 ${ANTLR_LIBRARIES}) target_include_directories(cvc4parser PRIVATE ${ANTLR_INCLUDE_DIR}) -install(TARGETS cvc4parser DESTINATION lib) +install(TARGETS cvc4parser + EXPORT cvc4-targets + DESTINATION ${LIBRARY_INSTALL_DIR}) # The generated lexer/parser files define some functions as # __declspec(dllexport) via the ANTLR3_API macro, which leads to lots of |