From b0d0c36b11e81e0b917d91b8762bbfa6abc77991 Mon Sep 17 00:00:00 2001
From: gmh5225 <2315157@qq.com>
Date: Fri, 23 Sep 2022 04:55:40 +0800
Subject: [PATCH] Add option 'MSVC_STATIC' (#6358)

* Add option 'MSVC_STATIC'

* Update CMakeLists.txt

* Update CMakeLists.txt

* Upload msvc-static-build.yml
---
 .github/workflows/msvc-static-build.yml | 20 ++++++++++++++++++++
 CMakeLists.txt                          |  1 +
 src/CMakeLists.txt                      | 21 +++++++++++++++++++++
 3 files changed, 42 insertions(+)
 create mode 100644 .github/workflows/msvc-static-build.yml

diff --git a/.github/workflows/msvc-static-build.yml b/.github/workflows/msvc-static-build.yml
new file mode 100644
index 000000000..81fb9c45a
--- /dev/null
+++ b/.github/workflows/msvc-static-build.yml
@@ -0,0 +1,20 @@
+name: MSVC Static Build
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  build:
+    runs-on: windows-2019
+    env:
+      BUILD_TYPE: Release
+    steps:
+    - name: Checkout Repo
+      uses: actions/checkout@v3
+  
+    - name: Build
+      run: |
+        cmake -B build -DCMAKE_BUILD_TYPE=${{ env.BUILD_TYPE }} -DZ3_BUILD_LIBZ3_SHARED=OFF -DZ3_BUILD_LIBZ3_MSVC_STATIC=ON
+        cmake --build build --config ${{ env.BUILD_TYPE }} --parallel
+        
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2cd54eded..7093e679f 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -304,6 +304,7 @@ endif()
 # Option to control what type of library we build
 ################################################################################
 option(Z3_BUILD_LIBZ3_SHARED "Build libz3 as a shared library if true, otherwise build a static library" ON)
+option(Z3_BUILD_LIBZ3_MSVC_STATIC "Build libz3 as a statically-linked runtime library"                   OFF)
 
 
 ################################################################################
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 5be29c950..56c1d65cd 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -115,6 +115,27 @@ if (Z3_BUILD_LIBZ3_SHARED)
 else()
   set(lib_type "STATIC")
 endif()
+# Enable static msvc runtime.
+if (MSVC AND Z3_BUILD_LIBZ3_MSVC_STATIC)
+    set(CompilerFlags
+        CMAKE_CXX_FLAGS
+        CMAKE_CXX_FLAGS_DEBUG
+        CMAKE_CXX_FLAGS_RELEASE
+        CMAKE_CXX_FLAGS_MINSIZEREL
+        CMAKE_CXX_FLAGS_RELWITHDEBINFO
+        CMAKE_C_FLAGS
+        CMAKE_C_FLAGS_DEBUG
+        CMAKE_C_FLAGS_RELEASE
+        CMAKE_C_FLAGS_MINSIZEREL
+        CMAKE_C_FLAGS_RELWITHDEBINFO
+        )
+    foreach(CompilerFlag ${CompilerFlags})
+        string(REPLACE "/MD" "/MT" ${CompilerFlag} "${${CompilerFlag}}")
+        string(REPLACE "/MDd" "/MTd" ${CompilerFlag} "${${CompilerFlag}}")
+        set(${CompilerFlag} "${${CompilerFlag}}" CACHE STRING "msvc compiler flags" FORCE)
+        message("MSVC flags: ${CompilerFlag}:${${CompilerFlag}}")
+    endforeach()
+endif(MSVC)
 add_library(libz3 ${lib_type} ${object_files})
 target_include_directories(libz3 INTERFACE
   $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/api>