mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 04:48:45 +00:00
Code Activity

Merge pull request from mcfi/patch-2

Browse source 
Pass /RELEASE to MSVC linker
This commit is contained in:
Nikolaj Bjorner 2019-07-05 14:37:30 +07:00 committed by GitHub
parent dd253cdd47 962d0dda78
commit 164039a47c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 0 deletions

8
CMakeLists.txt
View file

@ -425,6 +425,14 @@ if ("${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC")
include(${PROJECT_SOURCE_DIR}/cmake/msvc_legacy_quirks.cmake)
endif()
################################################################################
# Pass /RELEASE to the linker so that checksums in PE files are calculated.
################################################################################
if ("${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC")
string(APPEND CMAKE_EXE_LINKER_FLAGS " /RELEASE")
string(APPEND CMAKE_SHARED_LINKER_FLAGS " /RELEASE")
endif()
################################################################################
# Report default CMake flags
################################################################################