diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-14 10:56:26 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-14 12:56:26 -0500 |
commit | 94af13b18b10d6092981848fbae1b9c35b27b31d (patch) | |
tree | dba5ffd52d36b21ac4f990992b6739bb8099b10c /src/parser | |
parent | 27e2baeab7fde6f2fbb5d34548303777ab7e2e5a (diff) |
cmake: Export CVC4 library interface. (#3179)
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/CMakeLists.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/parser/CMakeLists.txt b/src/parser/CMakeLists.txt index 8ac8baf1b..96790f834 100644 --- a/src/parser/CMakeLists.txt +++ b/src/parser/CMakeLists.txt @@ -100,7 +100,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 lib) # The generated lexer/parser files define some functions as # __declspec(dllexport) via the ANTLR3_API macro, which leads to lots of |