diff options
| author | JackBoosY <47264268+JackBoosY@users.noreply.github.com> | 2019-11-23 06:55:05 +0800 |
|---|---|---|
| committer | Victor Romero <romerosanchezv@gmail.com> | 2019-11-22 14:55:05 -0800 |
| commit | 776fcf76db997393381f0e0cc780491edc06aa34 (patch) | |
| tree | a1430c95023e72a6a23ec8b2b53e85d44c7ea47c /ports/z3/fix-install-path.patch | |
| parent | 1f092dd978502639b274eae6a8a4f653e3386391 (diff) | |
| download | vcpkg-776fcf76db997393381f0e0cc780491edc06aa34.tar.gz vcpkg-776fcf76db997393381f0e0cc780491edc06aa34.zip | |
[z3] Update to 4.8.6 (#8899)
* [z3]Upgrade to 4.8.6.
* [z3]Use `vcpkg_fail_port_install`.
Diffstat (limited to 'ports/z3/fix-install-path.patch')
| -rw-r--r-- | ports/z3/fix-install-path.patch | 64 |
1 files changed, 2 insertions, 62 deletions
diff --git a/ports/z3/fix-install-path.patch b/ports/z3/fix-install-path.patch index 170ca085a..48ff2a8d8 100644 --- a/ports/z3/fix-install-path.patch +++ b/ports/z3/fix-install-path.patch @@ -1,39 +1,5 @@ -diff --git a/CMakeLists.txt b/CMakeLists.txt -index 6e73daf63..c6bca7918 100644 ---- a/CMakeLists.txt -+++ b/CMakeLists.txt -@@ -615,7 +615,7 @@ install(EXPORT - Z3_EXPORTED_TARGETS - FILE "Z3Targets.cmake" - NAMESPACE z3:: -- DESTINATION "${CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR}" -+ DESTINATION share/z3 - ) - set(Z3_INSTALL_TREE_CMAKE_CONFIG_FILE "${PROJECT_BINARY_DIR}/cmake/Z3Config.cmake") - set(Z3_FIRST_PACKAGE_INCLUDE_DIR "${CMAKE_INSTALL_INCLUDEDIR}") -@@ -640,7 +640,7 @@ unset(CONFIG_FILE_TYPE) - # Add install rule to install ${Z3_INSTALL_TREE_CMAKE_CONFIG_FILE} - install( - FILES "${Z3_INSTALL_TREE_CMAKE_CONFIG_FILE}" -- DESTINATION "${CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR}" -+ DESTINATION share/z3 - ) - - # TODO: Provide a `Z3Version.cmake` file so that clients can specify the version -diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt -index d5778add9..35b7e4c55 100644 ---- a/doc/CMakeLists.txt -+++ b/doc/CMakeLists.txt -@@ -88,6 +88,6 @@ set(CMAKE_INSTALL_API_BINDINGS_DOC - if (INSTALL_API_BINDINGS_DOCUMENTATION) - install( - DIRECTORY "${DOC_DEST_DIR}" -- DESTINATION "${CMAKE_INSTALL_API_BINDINGS_DOC}" -+ DESTINATION share/z3 - ) - endif() diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt -index 9b6f00b62..8b47125d3 100644 +index 9b6f00b..8b47125 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -173,7 +173,8 @@ install(TARGETS libz3 @@ -46,34 +12,8 @@ index 9b6f00b62..8b47125d3 100644 PUBLIC_HEADER DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}" ) -diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt -index f593d91a4..70682b721 100644 ---- a/src/api/java/CMakeLists.txt -+++ b/src/api/java/CMakeLists.txt -@@ -228,7 +228,7 @@ if (INSTALL_JAVA_BINDINGS) - PATH - "Directory to install Z3 Java JNI bridge library relative to install prefix" - ) -- install(TARGETS z3java DESTINATION "${Z3_JAVA_JNI_LIB_INSTALLDIR}") -+ install(TARGETS z3java DESTINATION share/z3) - # Note: Don't use ``DESTINATION`` here as the version of ``UseJava.cmake`` shipped - # with CMake 2.8.12.2 handles that incorrectly. - install_jar(z3JavaJar "${Z3_JAVA_JAR_INSTALLDIR}") -diff --git a/src/api/python/CMakeLists.txt b/src/api/python/CMakeLists.txt -index 6cabb779a..0b79861bf 100644 ---- a/src/api/python/CMakeLists.txt -+++ b/src/api/python/CMakeLists.txt -@@ -136,7 +136,7 @@ if (INSTALL_PYTHON_BINDINGS) - # Using DESTDIR still seems to work even if we use an absolute path - message(STATUS "Python bindings will be installed to \"${CMAKE_INSTALL_PYTHON_PKG_DIR}\"") - install(FILES ${build_z3_python_bindings_target_depends} -- DESTINATION "${CMAKE_INSTALL_PYTHON_PKG_DIR}/z3" -+ DESTINATION share/z3 - ) - else() - message(STATUS "Not emitting rules to install Z3 python bindings") diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt -index 278246341..b6cd2f1c1 100644 +index 2782463..b6cd2f1 100644 --- a/src/shell/CMakeLists.txt +++ b/src/shell/CMakeLists.txt @@ -44,5 +44,5 @@ target_link_libraries(shell PRIVATE ${Z3_DEPENDENT_LIBS}) |