===================================================================
RCS file: /home/cvs/OpenXM/src/ox_pari/ox_pari.c,v
retrieving revision 1.16
retrieving revision 1.19
diff -u -p -r1.16 -r1.19
--- OpenXM/src/ox_pari/ox_pari.c	2018/03/27 07:05:17	1.16
+++ OpenXM/src/ox_pari/ox_pari.c	2019/12/19 08:34:41	1.19
@@ -1,5 +1,6 @@
-/*  $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"
 
 OXFILE *fd_rw;
@@ -295,16 +296,28 @@ int receive()
   return 0;
 }
 
+#if defined(ANDROID)
 jmp_buf ox_env;
+#else
+sigjmp_buf ox_env;
+#endif
 
 void usr1_handler(int sig)
 {
-  longjmp(ox_env,1);
+#if defined(ANDROID)
+  _longjmp(ox_env,1);
+#else
+  siglongjmp(ox_env,1);
+#endif
 }
 
 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...");
     initialize_stack();
     init_pari();
@@ -321,7 +334,13 @@ int main()
     fd_rw = oxf_open(3);
     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);
+#endif
 
   while(1){
     receive();