mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-11-28 18:49:00 +08:00
61b9054264
- [x] Changes comply with the [maintainer guide](https://github.com/microsoft/vcpkg-docs/blob/main/vcpkg/contributing/maintainer-guide.md). - [x] SHA512s are updated for each updated download. - [x] The "supports" clause reflects platforms that may be fixed by this new version. - [x] Any fixed [CI baseline](https://github.com/microsoft/vcpkg/blob/master/scripts/ci.baseline.txt) entries are removed from that file. - [x] Any patches that are no longer applied are deleted from the port's directory. - [x] The version database is fixed by rerunning `./vcpkg x-add-version --all` and committing the result. - [x] Only one version is added to each modified port's versions file.
13 lines
446 B
Diff
13 lines
446 B
Diff
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.16)
|
|
|
|
-set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
|
|
project(Z3 VERSION 4.13.0.0 LANGUAGES CXX)
|
|
|
|
################################################################################
|