vcpkg/ports/z3/remove-flag-overrides.patch

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 477410ba8..fcca03917 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,7 +1,6 @@
 # Enforce some CMake policies
 cmake_minimum_required(VERSION 3.4)
 
-set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
 project(Z3 VERSION 4.8.16.0 LANGUAGES CXX)
 
 ################################################################################
[z3] Update to 4.8.15 (#24209) * [z3] Update to 4.8.15 * Update version * Don't build test executables * Update version * Disable examples * Update version * Fix 32 bit builds with upstream patch https://github.com/Z3Prover/z3/commit/3828130791bf8e60038b46b0d6602cb7e43fb344 * Update version 2022-04-20 00:29:01 +08:00			`diff --git a/CMakeLists.txt b/CMakeLists.txt`
			`index 477410ba8..fcca03917 100644`
			`--- a/CMakeLists.txt`
			`+++ b/CMakeLists.txt`
			`@@ -1,7 +1,6 @@`
			`# Enforce some CMake policies`
			`cmake_minimum_required(VERSION 3.4)`

			`-set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")`
[z3] Update to 4.8.16 (#24407) * [z3] Update to 4.8.16 * Use Python3 instead of Python2 Python2 is EOL and the build script works with Python3, so we should prefer Python3 * Update version 2022-04-27 10:24:59 +08:00			`project(Z3 VERSION 4.8.16.0 LANGUAGES CXX)`
[z3] Update to 4.8.15 (#24209) * [z3] Update to 4.8.15 * Update version * Don't build test executables * Update version * Disable examples * Update version * Fix 32 bit builds with upstream patch https://github.com/Z3Prover/z3/commit/3828130791bf8e60038b46b0d6602cb7e43fb344 * Update version 2022-04-20 00:29:01 +08:00
			`################################################################################`