/* -----------------------------------------------------------------------------
- * $Id: Itimer.c,v 1.9 2000/02/28 10:57:44 simonmar Exp $
+ * $Id: Itimer.c,v 1.12 2000/03/21 11:33:12 rrt Exp $
*
* (c) The GHC Team, 1995-1999
*
lnat total_ticks = 0;
rtsBool do_prof_ticks = rtsFalse;
-static void handle_tick(int unused STG_UNUSED);
+static
+void
+#if defined(mingw32_TARGET_OS) || (defined(cygwin32_TARGET_OS) && !defined(HAVE_SETITIMER))
+CALLBACK
+#endif
+handle_tick(int unused STG_UNUSED);
/* -----------------------------------------------------------------------------
Tick handler
signal handler.
-------------------------------------------------------------------------- */
-static void
+static
+void
+#if defined(mingw32_TARGET_OS) || (defined(cygwin32_TARGET_OS) && !defined(HAVE_SETITIMER))
+CALLBACK
+#endif
handle_tick(int unused STG_UNUSED)
{
total_ticks++;
#if defined(mingw32_TARGET_OS) || (defined(cygwin32_TARGET_OS) && !defined(HAVE_SETITIMER))
+/*
+ * Sigh - to avoid requiring anyone that wants to build ghc to have
+ * to augment the Win32 header files that comes with cygwinb20.1,
+ * include the missing MM API decls here inline.
+ *
+ * ToDo: check and remove these once the next version of cygwin is
+ * released.
+ */
+#define TIMERR_NOERROR 0
+#define TIMERR_NOCANDO 97
+#define TIME_PERIODIC 1
+
+typedef UINT MMRESULT;
+typedef void CALLBACK (*TIMECALLBACK) (UINT, UINT, DWORD, DWORD, DWORD);
+typedef TIMECALLBACK *LPTIMECALLBACK;
+MMRESULT STDCALL timeSetEvent(UINT, UINT, LPTIMECALLBACK, DWORD, UINT);
/*
vtalrm_handler is assigned and set up in Signals.c
initialize_virtual_timer(nat ms)
{
# ifndef HAVE_SETITIMER
- fprintf(stderr, "No virtual timer on this system\n");
+ /* fprintf(stderr, "No virtual timer on this system\n"); */
return -1;
# else
struct itimerval it;
(void) sigprocmask(SIG_UNBLOCK, &signals, NULL);
}
#endif
+
+#if !defined(HAVE_SETITIMER) && !defined(mingw32_TARGET_OS)
+unsigned int
+getourtimeofday(void)
+{
+ struct timeval tv;
+ gettimeofday(&tv, (struct timezone *) NULL);
+ return (tv.tv_sec * 1000000 + tv.tv_usec);
+}
+#endif