version 1.17, 2001/08/21 14:12:46 |
version 1.18, 2002/02/24 10:27:18 |
|
|
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.16 2001/05/06 08:11:48 takayama Exp $ */ |
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.17 2001/08/21 14:12:46 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
#include "datatype.h" |
#include "datatype.h" |
Line 116 FILE *Fstack = NULL; /* Initialized to standard output |
|
Line 116 FILE *Fstack = NULL; /* Initialized to standard output |
|
/* in case of Solaris, use the following: */ |
/* in case of Solaris, use the following: */ |
int EnvOfStackMachine[2000]; |
int EnvOfStackMachine[2000]; |
#else |
#else |
|
#if defined(__CYGIWN__) |
|
sigjmp_buf EnvOfStackMachine; |
|
#else |
jmp_buf EnvOfStackMachine; |
jmp_buf EnvOfStackMachine; |
|
#endif |
#endif |
#endif |
|
|
#if defined(__CYGWIN__) |
#if defined(__CYGWIN__) |