From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 11 Apr 2014 19:30:31 +0000 (-0400)
Subject: Better support for building with mingw64; thanks to Nicolas Roche @ Altran for the... 
X-Git-Tag: cvc5-1.0.0~6968
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d8e31379256a8fc0c6d7993e42fc94a9dc35f4ce;p=cvc5.git

Better support for building with mingw64; thanks to Nicolas Roche @ Altran for the fix.
---

diff --git a/src/lib/clock_gettime.h b/src/lib/clock_gettime.h
index 43c3395a4..8860e717b 100644
--- a/src/lib/clock_gettime.h
+++ b/src/lib/clock_gettime.h
@@ -30,7 +30,7 @@
 
 /* otherwise, we have to define it */
 
-#if defined(__WIN32__) && !defined(__WIN64__)
+#if defined(__WIN32__) && !defined(_W64)
 
 #ifdef __cplusplus
 extern "C" {
@@ -45,12 +45,12 @@ struct timespec {
 }/* extern "C" */
 #endif /* __cplusplus */
 
-#else /* !__WIN32__ || __WIN64__ */
+#else /* !__WIN32__ || _W64 */
 
 /* get timespec from <time.h> */
 #include <time.h>
 
-#endif /* __WIN32__ && !__WIN64__ */
+#endif /* __WIN32__ && !_W64 */
 
 #ifdef __cplusplus
 extern "C" {