| --- z3-z3-4.7.1/src/CMakeLists.txt.orig 2018-06-05 22:04:30.104092400 +0300 |
| +++ z3-z3-4.7.1/src/CMakeLists.txt 2018-06-05 22:04:37.057490100 +0300 |
| @@ -177,7 +177,7 @@ |
| EXPORT Z3_EXPORTED_TARGETS |
| LIBRARY 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 |
| + RUNTIME DESTINATION "${CMAKE_INSTALL_BINDIR}" # For Windows. DLLs are runtime targets for CMake |
| PUBLIC_HEADER DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}" |
| ) |
| |
