From fd7b8fe1ab8130e483a7c598302858f00a461cad Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Tue, 26 Apr 2016 11:49:46 +0100 Subject: [PATCH] [CMake] On Windows fix the ``install`` target so that it installs ``libz3.dll``. I've left a comment about the installation of ``libz3.lib``. I'm not sure if we want that installed or not. --- contrib/cmake/src/CMakeLists.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/contrib/cmake/src/CMakeLists.txt b/contrib/cmake/src/CMakeLists.txt index 13403afb1..1ce1a76cd 100644 --- a/contrib/cmake/src/CMakeLists.txt +++ b/contrib/cmake/src/CMakeLists.txt @@ -166,7 +166,8 @@ endforeach() install(TARGETS libz3 LIBRARY DESTINATION "${CMAKE_INSTALL_LIBDIR}" - ARCHIVE DESTINATION "${CMAKE_INSTALL_LIBDIR}" + ARCHIVE DESTINATION "${CMAKE_INSTALL_LIBDIR}" # On Windows this installs ``libz3.lib`` which CMake calls the "corresponding import library". Do we want this installed? + RUNTIME DESTINATION "${CMAKE_INSTALL_LIBDIR}" # For Windows. DLLs are runtime targets for CMake PUBLIC_HEADER DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}" )