From 94af13b18b10d6092981848fbae1b9c35b27b31d Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 14 Aug 2019 10:56:26 -0700
Subject: cmake: Export CVC4 library interface. (#3179)

---
 src/parser/CMakeLists.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/parser')

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
-- 
cgit v1.2.3