diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-09-26 17:52:37 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-26 17:52:37 -0700 |
commit | 3aafd4a2ced87f0fd82ebe5279b73c84552502d5 (patch) | |
tree | 2e96b3cf82d4a1d2c74bb5a6b3227d5afb3716d1 /src/parser/CMakeLists.txt | |
parent | 9ba1854be7d798a899a2b46c2707d376938c5d18 (diff) | |
parent | 923abd7000a2ab6e3c0776c59d159bdc3a4d9a52 (diff) |
Merge branch 'master' into splitEqRew
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 |