Added support for MSVC 2015

Christian Schulte · Christian Schulte · commit a4e4f351b9a6 · 2016-03-29T10:27:38.000Z
git-svn-id: file:///Volumes/GecodeGitMigration/gecode-svn-mirror/gecode/tags/release-4.4.0@14942 e85b7adc-8362-4630-8c63-7469d557c915
diff --git a/gecode/support/thread/windows.hpp b/gecode/support/thread/windows.hpp
@@ -83,8 +83,11 @@ namespace Gecode { namespace Support {
   }
   forceinline
   Event::~Event(void) {
-    if (CloseHandle(w_h) == 0)
-      throw OperatingSystemError("Event::~Event[Windows::CloseHandle]");
+    if (CloseHandle(w_h) == 0) {
+      std::cerr << "Operating system error: "
+                << "Event::~Event[Windows::CloseHandle]";
+      std::terminate();
+    }
   }
 
 
diff --git a/gecode/third-party/boost/config/compiler/visualc.hpp b/gecode/third-party/boost/config/compiler/visualc.hpp
@@ -273,8 +273,8 @@
 #endif
 //
 // last known and checked version is 1600 (VC10, aka 2010):
-// Changed to VC12, aka 2013
-#if (_MSC_VER > 1800)
+// Changed to VC14, aka 2015
+#if (_MSC_VER > 1900)
 #  if defined(GECODE_BOOST_ASSERT_CONFIG)
 #     error "Unknown compiler version - please run the configure tests and report the results"
 #  else

Original file line number	Diff line number	Diff line change
`@@ -83,8 +83,11 @@ namespace Gecode { namespace Support {`
`83`	`83`	`}`
`84`	`84`	`forceinline`
`85`	`85`	`Event::~Event(void) {`
`86`		`- if (CloseHandle(w_h) == 0)`
`87`		`- throw OperatingSystemError("Event::~Event[Windows::CloseHandle]");`
	`86`	`+ if (CloseHandle(w_h) == 0) {`
	`87`	`+ std::cerr << "Operating system error: "`
	`88`	`+ << "Event::~Event[Windows::CloseHandle]";`
	`89`	`+ std::terminate();`
	`90`	`+ }`
`88`	`91`	`}`
`89`	`92`
`90`	`93`