diff options
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) |