move to own git serverHEADmaster

4 files changed, 90 insertions, 0 deletions

diff --git a/vcpkg/ports/z3/fix-install-path.patch b/vcpkg/ports/z3/fix-install-path.patch
new file mode 100644
index 0000000..cb21e13
--- /dev/null
+++ b/vcpkg/ports/z3/fix-install-path.patch
@@ -0,0 +1,23 @@
+diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt

+index e8de0c7e4..064c18eab 100644

+--- a/src/CMakeLists.txt

++++ b/src/CMakeLists.txt

+@@ -173,6 +173,7 @@ install(TARGETS libz3

+   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_BINDIR}" # For Windows. DLLs are runtime targets for CMake

++  BUNDLE  DESTINATION "${CMAKE_INSTALL_BINDIR}" # For MACOSX.

+   PUBLIC_HEADER DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}"

+ )

+ 

+diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt

+index 278246341..b6cd2f1c1 100644

+--- a/src/shell/CMakeLists.txt

++++ b/src/shell/CMakeLists.txt

+@@ -44,5 +44,5 @@ target_link_libraries(shell PRIVATE ${Z3_DEPENDENT_LIBS})

+ z3_add_component_dependencies_to_target(shell ${shell_expanded_deps})

+ z3_append_linker_flag_list_to_target(shell ${Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS})

+ install(TARGETS shell

+-  RUNTIME DESTINATION "${CMAKE_INSTALL_BINDIR}"

++  RUNTIME DESTINATION tools/z3

+ )

diff --git a/vcpkg/ports/z3/portfile.cmake b/vcpkg/ports/z3/portfile.cmake
new file mode 100644
index 0000000..648833b
--- /dev/null
+++ b/vcpkg/ports/z3/portfile.cmake
@@ -0,0 +1,36 @@
+vcpkg_find_acquire_program(PYTHON3)
+get_filename_component(PYTHON3_DIR "${PYTHON3}" DIRECTORY)
+vcpkg_add_to_path("${PYTHON3_DIR}")
+
+vcpkg_from_github(
+  OUT_SOURCE_PATH SOURCE_PATH
+  REPO Z3Prover/z3
+  REF z3-${VERSION}
+  SHA512 3037a6c9077cf5b5bbc9db89973311e66233144ad6c8fc8da9fb2aa35bb34944068874868cf571b247130251a8361cbd1e24288768cc49e4166985cf0ca921a2
+  HEAD_REF master
+  PATCHES
+      fix-install-path.patch
+      remove-flag-overrides.patch
+)
+
+if (VCPKG_LIBRARY_LINKAGE STREQUAL "static")
+  set(BUILD_STATIC "-DZ3_BUILD_LIBZ3_SHARED=OFF")
+endif()
+
+vcpkg_cmake_configure(
+  SOURCE_PATH ${SOURCE_PATH}
+  OPTIONS
+    ${BUILD_STATIC}
+    -DZ3_BUILD_TEST_EXECUTABLES=OFF
+    -DZ3_ENABLE_EXAMPLE_TARGETS=OFF
+)
+
+vcpkg_cmake_install()
+vcpkg_cmake_config_fixup(CONFIG_PATH lib/cmake/z3)
+vcpkg_copy_pdbs()
+
+file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/include")
+
+file(INSTALL "${SOURCE_PATH}/LICENSE.txt" DESTINATION "${CURRENT_PACKAGES_DIR}/share/${PORT}" RENAME copyright)
+
+vcpkg_fixup_pkgconfig()
diff --git a/vcpkg/ports/z3/remove-flag-overrides.patch b/vcpkg/ports/z3/remove-flag-overrides.patch
new file mode 100644
index 0000000..2498f7e
--- /dev/null
+++ b/vcpkg/ports/z3/remove-flag-overrides.patch
@@ -0,0 +1,13 @@
+diff --git a/CMakeLists.txt b/CMakeLists.txt
+index 6d66f8d..89c10f2 100644
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -1,8 +1,6 @@
+ # Enforce some CMake policies
+ cmake_minimum_required(VERSION 3.16)
+ 
+-set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
+-
+ # Read version from VERSION.txt file
+ file(READ "${CMAKE_CURRENT_SOURCE_DIR}/scripts/VERSION.txt" Z3_VERSION_FROM_FILE)
+ string(STRIP "${Z3_VERSION_FROM_FILE}" Z3_VERSION_FROM_FILE)
diff --git a/vcpkg/ports/z3/vcpkg.json b/vcpkg/ports/z3/vcpkg.json
new file mode 100644
index 0000000..5b4247b
--- /dev/null
+++ b/vcpkg/ports/z3/vcpkg.json
@@ -0,0 +1,18 @@
+{
+  "name": "z3",
+  "version": "4.15.4",
+  "description": "Z3 is a theorem prover from Microsoft Research",
+  "homepage": "https://github.com/Z3Prover/z3",
+  "license": "MIT",
+  "supports": "!uwp",
+  "dependencies": [
+    {
+      "name": "vcpkg-cmake",
+      "host": true
+    },
+    {
+      "name": "vcpkg-cmake-config",
+      "host": true
+    }
+  ]
+}