diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2012-12-18 15:33:43 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-24 16:22:42 -0500 |
| commit | 73760b3c213733fc98d67f9ceeb74d06b01a3777 (patch) | |
| tree | 8840f595428560499bc6739513ac3a1fbb2746ca /src/lib/clock_gettime.c | |
| parent | 1435948e241d3134d44662b9476935fe635b4166 (diff) | |
Add win32 support (merge from mdeters/win32, with some cleanup).
Diffstat (limited to 'src/lib/clock_gettime.c')
| -rw-r--r-- | src/lib/clock_gettime.c | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/src/lib/clock_gettime.c b/src/lib/clock_gettime.c index 77409c71a..e9d347438 100644 --- a/src/lib/clock_gettime.c +++ b/src/lib/clock_gettime.c @@ -18,20 +18,20 @@ #include "cvc4_private.h" -#include <stdio.h> -#include <errno.h> -#include <time.h> - #include "lib/clock_gettime.h" #ifdef __cplusplus extern "C" { #endif /* __cplusplus */ -#ifndef __APPLE__ -# warning This code assumes you're on Mac OS X, and you don't seem to be. You'll likely have problems. -#endif /* __APPLE__ */ +#if !(defined(__APPLE__) || defined(__WIN32__)) +# warning "This code assumes you're on Mac OS X or Win32, and you don't seem to be. You'll likely have problems." +#endif /* !(__APPLE__ || __WIN32__) */ +#ifdef __APPLE__ + +#include <stdio.h> +#include <errno.h> #include <mach/mach_time.h> static double s_clockconv = 0.0; @@ -64,6 +64,15 @@ long clock_gettime(clockid_t which_clock, struct timespec *tp) { return 0; } +#else /* else we're __WIN32__ */ + +long clock_gettime(clockid_t which_clock, struct timespec *tp) { + // unsupported on Windows + return 0; +} + +#endif /* __APPLE__ / __WIN32__ */ + #ifdef __cplusplus }/* extern "C" */ #endif /* __cplusplus */ |