From 837651e3187c616a9e0aff97945bac94f6cab884 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20Janiszewski?= <janisozaur+signed@gmail.com>
Date: Thu, 24 Oct 2019 21:50:32 +0200
Subject: [PATCH] Explicitly add EHsc to MSVC compiler flags
---
cmake/msvc_legacy_quirks.cmake | 2 ++
1 file changed, 2 insertions(+)
diff --git a/cmake/msvc_legacy_quirks.cmake b/cmake/msvc_legacy_quirks.cmake
index 0831346ab..b682ebad0 100644
--- a/cmake/msvc_legacy_quirks.cmake
+++ b/cmake/msvc_legacy_quirks.cmake
@@ -98,6 +98,8 @@ if (("${TARGET_ARCHITECTURE}" STREQUAL "x86_64") OR ("${TARGET_ARCHITECTURE}" ST
z3_add_cxx_flag("/Gd" REQUIRED)
endif()
+z3_add_cxx_flag("/EHsc" REQUIRED)
+
################################################################################
# Linker flags
################################################################################