version 1.12, 2013/06/13 07:45:28 |
version 1.14, 2015/08/06 10:01:53 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/parse/gc_risa.c,v 1.11 2012/12/17 07:20:45 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/parse/gc_risa.c,v 1.13 2013/06/13 18:40:31 ohara Exp $ */ |
|
|
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#include "private/gcconfig.h" |
#include "private/gcconfig.h" |
#endif |
#endif |
#include "gc.h" |
#include "gc.h" |
#include <time.h> |
#include <time.h> |
|
|
void error(char *); |
void error(char *); |
|
void int_handler(); |
|
|
int *StackBottom; |
int *StackBottom; |
int in_gc, caught_intr; |
int in_gc, caught_intr; |
Line 107 double get_rtime() |
|
Line 108 double get_rtime() |
|
return get_current_time() - asir_start_time; |
return get_current_time() - asir_start_time; |
} |
} |
|
|
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) |
#include <windows.h> |
#include <windows.h> |
|
|
extern int recv_intr,doing_batch; |
extern int recv_intr,doing_batch; |
Line 243 double GC_get_gctime() { |
|
Line 244 double GC_get_gctime() { |
|
} |
} |
#endif |
#endif |
|
|
#if defined(MSWIN32) && !defined(VISUAL) |
#if defined(MSWIN32) && !defined(VISUAL) && !defined(__MINGW32__) && !defined(__MINGW64__) |
#include <signal.h> |
#include <signal.h> |
void process_events() { |
void process_events() { |
if ( check_break() ) |
if ( check_break() ) |
Line 276 void process_events() { |
|
Line 277 void process_events() { |
|
} |
} |
#endif |
#endif |
|
|
#if defined(VISUAL) && !defined(MSWIN32) |
#if defined(VISUAL) || defined(__MINGW32__) || defined(__MINGW64__) && !defined(MSWIN32) |
int sigsetmask(mask) int mask; { return 0; } |
int sigsetmask(mask) int mask; { return 0; } |
|
|
void process_events() { |
void process_events() { |