diff options
| author | Ethan Morgan <ethan@gweithio.com> | 2026-02-14 16:44:06 +0000 |
|---|---|---|
| committer | Ethan Morgan <ethan@gweithio.com> | 2026-02-14 16:44:06 +0000 |
| commit | 54409423f767d8b1cf30cb7d0efca6b4ca138823 (patch) | |
| tree | d915ac7828703ce4b963efdd9728a1777ba18c1e /vcpkg/ports/z3/remove-flag-overrides.patch | |
Diffstat (limited to 'vcpkg/ports/z3/remove-flag-overrides.patch')
| -rw-r--r-- | vcpkg/ports/z3/remove-flag-overrides.patch | 13 |
1 files changed, 13 insertions, 0 deletions
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) |