From b79fde1a42fa0803292f4651c19c6bd67763ea69 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Sat, 21 Sep 2013 02:27:30 +0200
Subject: [PATCH] Added a definition for GTest to build with MSVC on Windows

Former-commit-id: 5ccb773886471e2ce1b40b5f96f37ebf9f1ba495
---
 CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index e76d6a05b..cd5b77c11 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -269,6 +269,7 @@ target_link_libraries(storm-performance-tests ltl2dstar)
 ##	Google Test gtest
 ##
 #############################################################
+set(gtest_force_shared_crt ON)
 add_subdirectory("${PROJECT_SOURCE_DIR}/resources/3rdparty/gtest-1.7.0")
 include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/gtest-1.7.0/include")
 enable_testing()