===================================================================
RCS file: /home/cvs/OpenXM/src/ox_pari/ox_pari.c,v
retrieving revision 1.15
retrieving revision 1.19
diff -u -p -r1.15 -r1.19
--- OpenXM/src/ox_pari/ox_pari.c	2016/09/23 07:03:29	1.15
+++ 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.14 2016/08/23 03:03:26 ohara 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;
@@ -85,8 +86,12 @@ void pops(int n)
 
 int sm_mathcap()
 {
+#if 0
   char *opts[] = {"no_ox_reset", NULL};
   mathcap_init2(OX_PARI_VERSION, ID_STRING, "ox_pari", NULL, NULL, opts);
+#else
+  mathcap_init2(OX_PARI_VERSION, ID_STRING, "ox_pari", NULL, NULL, NULL);
+#endif
   push((cmo*)oxf_cmo_mathcap(fd_rw));
   return 0;
 }
@@ -291,17 +296,51 @@ int receive()
   return 0;
 }
 
+#if defined(ANDROID)
+jmp_buf ox_env;
+#else
+sigjmp_buf ox_env;
+#endif
+
+void usr1_handler(int sig)
+{
+#if defined(ANDROID)
+  _longjmp(ox_env,1);
+#else
+  siglongjmp(ox_env,1);
+#endif
+}
+
 int main()
 {
-  init_gc();
-  ox_stderr_init(stderr);
-  initialize_stack();
-  init_pari();
+#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();
+    send_ox_tag(fd_rw,OX_SYNC_BALL);
+    fprintf(stderr,"done\n");
+  } else {
+    init_gc();
+    ox_stderr_init(stderr);
+    initialize_stack();
+    init_pari();
+  
+    fprintf(stderr,"ox_pari\n");
 
-  fprintf(stderr,"ox_pari\n");
+    fd_rw = oxf_open(3);
+    oxf_determine_byteorder_server(fd_rw);
+  }
 
-  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();