version 1.16, 2018/03/27 07:05:17 |
version 1.19, 2019/12/19 08:34:41 |
|
|
/* $OpenXM: OpenXM/src/ox_pari/ox_pari.c,v 1.15 2016/09/23 07:03:29 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 "ox_pari.h" |
#include "ox_pari.h" |
|
|
OXFILE *fd_rw; |
OXFILE *fd_rw; |
|
|
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(); |
|
|
fd_rw = oxf_open(3); |
fd_rw = oxf_open(3); |
oxf_determine_byteorder_server(fd_rw); |
oxf_determine_byteorder_server(fd_rw); |
} |
} |
|
|
|
#if defined(__CYGWIN__) |
|
void *mysignal(int sig,void (*handler)(int m)); |
|
mysignal(SIGUSR1,usr1_handler); |
|
#else |
signal(SIGUSR1,usr1_handler); |
signal(SIGUSR1,usr1_handler); |
|
#endif |
|
|
while(1){ |
while(1){ |
receive(); |
receive(); |