version 1.17, 2018/06/04 06:39:26 |
version 1.19, 2019/12/19 08:34:41 |
|
|
/* $OpenXM: OpenXM/src/ox_pari/ox_pari.c,v 1.16 2018/03/27 07:05:17 noro Exp $ */ |
/* $OpenXM: OpenXM/src/ox_pari/ox_pari.c,v 1.18 2019/07/25 05:59:15 noro Exp $ */ |
|
|
#include <signal.h> |
#include <signal.h> |
#include "ox_pari.h" |
#include "ox_pari.h" |
|
|
return 0; |
return 0; |
} |
} |
|
|
|
#if defined(ANDROID) |
jmp_buf ox_env; |
jmp_buf ox_env; |
|
#else |
|
sigjmp_buf ox_env; |
|
#endif |
|
|
void usr1_handler(int sig) |
void usr1_handler(int sig) |
{ |
{ |
longjmp(ox_env,1); |
#if defined(ANDROID) |
|
_longjmp(ox_env,1); |
|
#else |
|
siglongjmp(ox_env,1); |
|
#endif |
} |
} |
|
|
int main() |
int main() |
{ |
{ |
if ( setjmp(ox_env) ) { |
#if defined(ANDROID) |
|
if ( _setjmp(ox_env) ) { |
|
#else |
|
if ( sigsetjmp(ox_env,~0) ) { |
|
#endif |
fprintf(stderr,"resetting libpari and sending OX_SYNC_BALL..."); |
fprintf(stderr,"resetting libpari and sending OX_SYNC_BALL..."); |
initialize_stack(); |
initialize_stack(); |
init_pari(); |
init_pari(); |