[BACK]Return to glob.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / parse

Diff for /OpenXM_contrib2/asir2000/parse/glob.c between version 1.79 and 1.97

version 1.79, 2010/08/03 04:34:44 version 1.97, 2017/08/30 09:40:30
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.78 2010/08/01 08:44:15 ohara Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.96 2017/08/29 07:18:30 ohara Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "al.h"  #include "al.h"
 #include "parse.h"  #include "parse.h"
 #include "ox.h"  #include "ox.h"
 #if defined(PARI)  #include <signal.h>
 #include "genpari.h"  #if !defined(VISUAL) && !defined(__MINGW32__) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) && !defined(__FreeBSD__)
 #endif  
 #if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) && !defined(__FreeBSD__)  
 #include <sgtty.h>  #include <sgtty.h>
 #endif  #endif
   
 #if defined(VISUAL)  #if defined(VISUAL) || defined(__MINGW32__)
 #include <io.h>  #include <io.h>
 #include <direct.h>  #include <direct.h>
 #else  #else
Line 71 
Line 69 
 #include <sys/ttold.h>  #include <sys/ttold.h>
 #endif  #endif
   
 #if defined(VISUAL)  #if defined(VISUAL) || defined(__MINGW32__)
 #define HISTORY asir_history  #define HISTORY asir_history
 #endif  #endif
   
Line 84  JMP_BUF main_env,debug_env,timer_env,exec_env;
Line 82  JMP_BUF main_env,debug_env,timer_env,exec_env;
 int little_endian,debug_mode,no_debug_on_error;  int little_endian,debug_mode,no_debug_on_error;
 char *asir_libdir;  char *asir_libdir;
 char *asir_contrib_dir;  char *asir_contrib_dir;
   char *asir_private_dir;
 char *asir_pager;  char *asir_pager;
   
 NODE usrf,sysf,noargsysf,ubinf,parif;  NODE usrf,sysf,noargsysf,ubinf,parif;
Line 145  struct oF oF_TRUE,oF_FALSE;
Line 144  struct oF oF_TRUE,oF_FALSE;
 F F_TRUE = &oF_TRUE;  F F_TRUE = &oF_TRUE;
 F F_FALSE = &oF_FALSE;  F F_FALSE = &oF_FALSE;
   
 #if defined(VISUAL)  #if defined(VISUAL) || defined(__MINGW32__)
 char cppname[BUFSIZ] = "c:\\asir\\stdlib\\cpp ";  char cppname[BUFSIZ] = "c:\\asir\\stdlib\\cpp ";
 #else  #else
 char cppname[BUFSIZ] = "/lib/cpp ";  char cppname[BUFSIZ] = "/lib/cpp ";
Line 163  void glob_init() {
Line 162  void glob_init() {
                 VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = &oVLIST[i+1];                  VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = &oVLIST[i+1];
         }          }
         VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0;          VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0;
         reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV));          asir_reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV));
         reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV));          asir_reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV));
         reallocarray((char **)&PPVS->va,(int *)&PPVS->asize,(int *)&PPVS->n,(int)sizeof(struct oPV));          asir_reallocarray((char **)&PPVS->va,(int *)&PPVS->asize,(int *)&PPVS->n,(int)sizeof(struct oPV));
         CPVS = GPVS;          CPVS = GPVS;
         MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),0);          MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),NULLP);
         OID(F_TRUE)=O_F; FOP(F_TRUE)=AL_TRUE; F_TRUE->arg.dummy = 0;          OID(F_TRUE)=O_F; FOP(F_TRUE)=AL_TRUE; F_TRUE->arg.dummy = 0;
         OID(F_FALSE)=O_F; FOP(F_FALSE)=AL_FALSE; F_FALSE->arg.dummy = 0;          OID(F_FALSE)=O_F; FOP(F_FALSE)=AL_FALSE; F_FALSE->arg.dummy = 0;
         OID(Symbol_grlex) = O_SYMBOL; Symbol_grlex->name = "@grlex";          OID(Symbol_grlex) = O_SYMBOL; Symbol_grlex->name = "@grlex";
Line 191  void notdef(VL vl,Obj a,Obj b,Obj *c)
Line 190  void notdef(VL vl,Obj a,Obj b,Obj *c)
         error("undefined arithmetic operation.");          error("undefined arithmetic operation.");
 }  }
   
   int disable_debugger;
 int do_asirrc;  int do_asirrc;
 int do_file;  int do_file;
 char *do_filename;  char *do_filename;
Line 227  void asir_terminate(int status)
Line 227  void asir_terminate(int status)
                 LONGJMP(asir_infile->jmpbuf,status);                  LONGJMP(asir_infile->jmpbuf,status);
         else {          else {
                 if ( user_quit_handler ) {                  if ( user_quit_handler ) {
                         if ( !do_terse )                          if ( !do_terse ) {
                                 fprintf(stderr,"Calling the registered quit callbacks...");                                  fprintf(stderr,"Calling the registered quit callbacks...");
   #if defined(__MINGW32__)
                                   fflush(stderr);
   #endif
                           }
                         for ( n = user_quit_handler; n; n = NEXT(n) )                          for ( n = user_quit_handler; n; n = NEXT(n) )
                                 bevalf((FUNC)BDY(n),0);                                  bevalf((FUNC)BDY(n),0);
                         if ( !do_terse )                          if ( !do_terse ) {
                                 fprintf(stderr, "done.\n");                                  fprintf(stderr, "done.\n");
   #if defined(__MINGW32__)
                                   fflush(stderr);
   #endif
                           }
                 }                  }
                 tty_reset();                  tty_reset();
 #if defined(MPI)  #if defined(MPI)
Line 241  void asir_terminate(int status)
Line 249  void asir_terminate(int status)
                 mpi_finalize();                  mpi_finalize();
 #else  #else
 #if defined(SIGPIPE)  #if defined(SIGPIPE)
                 signal(SIGPIPE,SIG_IGN);                  set_signal(SIGPIPE,SIG_IGN);
 #endif  #endif
                 close_allconnections();                  close_allconnections();
 #endif  #endif
Line 284  void sprompt(char *ptr)
Line 292  void sprompt(char *ptr)
         sprintf(ptr,"[%d] ",APVS->n);          sprintf(ptr,"[%d] ",APVS->n);
 }  }
   
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
 static int which(char *prog, char *path, char *buf, size_t size)  static int which(char *prog, char *path, char *buf, size_t size)
 {  {
     char *tok;      char *tok;
Line 317  static int which(char *prog, char *path, char *buf, si
Line 325  static int which(char *prog, char *path, char *buf, si
   
 void cppname_init()  void cppname_init()
 {  {
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         char *oxhome;          char *oxhome;
         char oxcpp[BUFSIZ];          char oxcpp[BUFSIZ];
 #define OXCPP "/bin/ox_cpp"  #define OXCPP "/bin/ox_cpp"
Line 347  void process_args(int ac,char **av)
Line 355  void process_args(int ac,char **av)
 #if !defined(MPI)  #if !defined(MPI)
         do_message = 1;          do_message = 1;
 #endif  #endif
   #if defined(VISUAL) && defined(VISUAL_CONSOLE)
           disable_debugger=1;
   #endif
         do_quiet = 0;          do_quiet = 0;
         while ( ac > 0 ) {          while ( ac > 0 ) {
                 if ( !strcmp(*av,"-heap") && (ac >= 2) ) {                  if ( !strcmp(*av,"-heap") && (ac >= 2) ) {
Line 367  void process_args(int ac,char **av)
Line 378  void process_args(int ac,char **av)
                         av += 2; ac -= 2;                          av += 2; ac -= 2;
                 } else if ( !strcmp(*av,"-cpp") && (ac >= 2) ) {                  } else if ( !strcmp(*av,"-cpp") && (ac >= 2) ) {
                         strcpy(cppname,*(av+1)); av += 2; ac -= 2;                          strcpy(cppname,*(av+1)); av += 2; ac -= 2;
                   } else if ( !strcmp(*av,"-d") && (ac >= 2) ) {
   #if defined(VISUAL) && defined(VISUAL_CONSOLE)
                           disable_debugger=0;
   #endif
                           av += 2; ac -= 2;
                 } else if ( !strcmp(*av,"-f") && (ac >= 2) ) {                  } else if ( !strcmp(*av,"-f") && (ac >= 2) ) {
                         do_quiet = 1;                          do_quiet = 1;
                         in_fp = fopen(*(av+1),"r");                          in_fp = fopen(*(av+1),"r");
                         if ( !in_fp ) {                          if ( !in_fp ) {
                                 fprintf(stderr,"%s does not exist!\n",*(av+1));                                  fprintf(stderr,"%s does not exist!\n",*(av+1));
   #if defined(__MINGW32__)
                                   fflush(stderr);
   #endif
                                 asir_terminate(1);                                  asir_terminate(1);
                         }                          }
                         do_file = 1;                          do_file = 1;
Line 391  void process_args(int ac,char **av)
Line 410  void process_args(int ac,char **av)
                         void GC_set_max_heap_size(int);                          void GC_set_max_heap_size(int);
   
                         GC_set_max_heap_size(atoi(*(av+1))); av += 2; ac -= 2;                          GC_set_max_heap_size(atoi(*(av+1))); av += 2; ac -= 2;
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
                 } else if ( !strcmp(*av,"-display") && (ac >= 2) ) {                  } else if ( !strcmp(*av,"-display") && (ac >= 2) ) {
                         strcpy(displayname,*(av+1)); av += 2; ac -= 2;                          strcpy(displayname,*(av+1)); av += 2; ac -= 2;
 #endif  #endif
Line 399  void process_args(int ac,char **av)
Line 418  void process_args(int ac,char **av)
                 } else if ( !strcmp(*av,"-fep") ) {                  } else if ( !strcmp(*av,"-fep") ) {
                         do_fep = 1; av++; ac--;                          do_fep = 1; av++; ac--;
 #endif  #endif
 #if defined(PARI)  
                 } else if ( !strcmp(*av,"-paristack") ) {  
                         extern int paristack;  
   
                         paristack = atoi(*(av+1)); av += 2; ac -= 2;  
 #endif  
                 } else {                  } else {
                         fprintf(stderr,"%s : unknown option.\n",*av);                          fprintf(stderr,"%s : unknown option.\n",*av);
   #if defined(__MINGW32__)
                           fflush(stderr);
   #endif
                         asir_terminate(1);                          asir_terminate(1);
                 }                  }
         }          }
Line 423  void process_args(int ac,char **av)
Line 439  void process_args(int ac,char **av)
 #endif  #endif
 }  }
   
 #include <signal.h>  #if defined(HAVE_SIGACTION)
   void (*set_signal(int sig, void (*handler)(int)))(int)
   {
           struct sigaction act;
           struct sigaction oldact;
           if (handler == SIG_IGN || handler == SIG_DFL) {
                   return signal(sig,handler);
           }
           act.sa_handler=handler;
           act.sa_flags=0;
           act.sa_flags |= SA_RESTART;
           sigemptyset(&act.sa_mask);
           sigaction(sig,&act,&oldact);
           return oldact.sa_handler;
   }
   #endif
   
 void sig_init() {  void sig_init() {
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         signal(SIGINT,int_handler);          set_signal(SIGINT,int_handler);
 #else  #else
         void register_ctrlc_handler();          void register_ctrlc_handler();
   
         register_ctrlc_handler();          register_ctrlc_handler();
 #endif  #endif
         signal(SIGSEGV,segv_handler);          set_signal(SIGSEGV,segv_handler);
   
 #if defined(SIGFPE)  #if defined(SIGFPE)
         signal(SIGFPE,fpe_handler);          set_signal(SIGFPE,fpe_handler);
 #endif  #endif
   
 #if defined(SIGPIPE)  #if defined(SIGPIPE)
         signal(SIGPIPE,pipe_handler);          set_signal(SIGPIPE,pipe_handler);
 #endif  #endif
   
 #if defined(SIGILL)  #if defined(SIGILL)
         signal(SIGILL,ill_handler);          set_signal(SIGILL,ill_handler);
 #endif  #endif
   
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         signal(SIGBUS,bus_handler);          set_signal(SIGBUS,bus_handler);
 #endif  #endif
 }  }
   
 static void (*old_int)(int);  static void (*old_int)(int);
   
 void asir_save_handler() {  void asir_save_handler() {
         old_int = signal(SIGINT,SIG_IGN);          old_int = set_signal(SIGINT,SIG_IGN);
         signal(SIGINT,old_int);          set_signal(SIGINT,old_int);
 }  }
   
 void asir_set_handler() {  void asir_set_handler() {
         signal(SIGINT,int_handler);          set_signal(SIGINT,int_handler);
 }  }
   
 void asir_reset_handler() {  void asir_reset_handler() {
         signal(SIGINT,old_int);          set_signal(SIGINT,old_int);
 }  }
   
 extern int I_am_server;  extern int I_am_server;
Line 477  void resetenv(char *s)
Line 508  void resetenv(char *s)
         while ( NEXT(asir_infile) )          while ( NEXT(asir_infile) )
                 closecurrentinput();                  closecurrentinput();
         resetpvs();          resetpvs();
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         if ( do_server_in_X11 )          if ( do_server_in_X11 )
 #endif  #endif
                 show_debug_window(0);                  show_debug_window(0);
 #if defined(VISUAL_LIB)  #if defined(VISUAL_LIB)
         w_noflush_stderr(0);          w_noflush_stderr(0);
 #endif  #endif
         asir_out = stdout;  #if defined(__MINGW32__)
 #if defined(PARI)          fflush(stderr);
         pari_outfile = stdout;  
 #endif  #endif
           asir_out = stdout;
         /* restore states */          /* restore states */
         reset_engine();          reset_engine();
         reset_io();          reset_io();
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         reset_timer();          reset_timer();
 #endif  #endif
         LONGJMP(main_env,1);          LONGJMP(main_env,1);
Line 503  void fatal(int n)
Line 534  void fatal(int n)
 }  }
   
 extern int ox_int_received, critical_when_signal;  extern int ox_int_received, critical_when_signal;
   extern int in_gc, caught_intr;
   extern int ox_get_pari_result;
   
 void int_handler(int sig)  void int_handler(int sig)
 {  {
         extern NODE PVSS;          extern NODE PVSS;
         NODE t;          NODE t;
   
           if ( do_file || disable_debugger ) {
         if ( do_file ) {                  LEAVE_SIGNAL_CS_ALL;
                 ExitAsir();                  ExitAsir();
         }          }
         if ( critical_when_signal ) {          if ( !ox_get_pari_result && critical_when_signal ) {
                 ox_int_received = 1;                  ox_int_received = 1;
                 return;                  return;
         }          }
 #if defined(VISUAL)          if ( in_gc ) {
                   caught_intr = 1;
                   return;
           }
   #if defined(VISUAL) || defined(__MINGW32__)
         suspend_timer();          suspend_timer();
 #endif  #endif
         signal(SIGINT,SIG_IGN);          set_signal(SIGINT,SIG_IGN);
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
     if ( do_server_in_X11 ) {      if ( do_server_in_X11 ) {
                 debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0);                  debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0);
                 restore_handler();                  restore_handler();
Line 555  void int_handler(int sig)
Line 592  void int_handler(int sig)
                                         fgets(buf,BUFSIZ,stdin);                                          fgets(buf,BUFSIZ,stdin);
                                         if ( !strncmp(buf,"y",1) ) {                                          if ( !strncmp(buf,"y",1) ) {
                                                 fprintf(stderr,"Bye\n");                                                  fprintf(stderr,"Bye\n");
   #if defined(__MINGW32__)
                                                   fflush(stderr);
   #endif
                                                 /* for terminating myself */                                                  /* for terminating myself */
                                                 asir_infile = 0;                                                  asir_infile = 0;
                                                 asir_terminate(1);                                                  asir_terminate(1);
Line 581  void int_handler(int sig)
Line 621  void int_handler(int sig)
                                 restore_handler();                                  restore_handler();
                                 if ( c == 'u' ) {                                  if ( c == 'u' ) {
                                         if ( user_int_handler ) {                                          if ( user_int_handler ) {
                                                 if ( !do_terse )                                                  if ( !do_terse ) {
                                                         fprintf(stderr,                                                          fprintf(stderr,
                                                                 "Calling the registered exception callbacks...");                                                                  "Calling the registered exception callbacks...");
   #if defined(__MINGW32__)
                                                           fflush(stderr);
   #endif
                                                   }
                                                 for ( t = user_int_handler; t; t = NEXT(t) )                                                  for ( t = user_int_handler; t; t = NEXT(t) )
                                                         bevalf((FUNC)BDY(t),0);                                                          bevalf((FUNC)BDY(t),0);
                                                 if ( !do_terse )                                                  if ( !do_terse ) {
                                                         fprintf(stderr, "done.\n");                                                          fprintf(stderr, "done.\n");
   #if defined(__MINGW32__)
                                                           fflush(stderr);
   #endif
                                                   }
                                         }                                          }
                                 }                                  }
                                   LEAVE_SIGNAL_CS_ALL;
                                 resetenv("return to toplevel");                                  resetenv("return to toplevel");
                                 break;                                  break;
                         case 'd':                          case 'd':
Line 607  void int_handler(int sig)
Line 656  void int_handler(int sig)
                                 break;                                  break;
                         case '?':                          case '?':
                                 fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n");                                  fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n");
   #if defined(__MINGW32__)
                                   fflush(stderr);
   #endif
                                 break;                                  break;
                         default:                          default:
                                 break;                                  break;
Line 615  void int_handler(int sig)
Line 667  void int_handler(int sig)
 }  }
   
 void restore_handler() {  void restore_handler() {
 #if defined(VISUAL)  #if defined(VISUAL) || defined(__MINGW32__)
         resume_timer();          resume_timer();
 #endif  #endif
 #if defined(SIGINT)  #if defined(SIGINT)
         signal(SIGINT,int_handler);          set_signal(SIGINT,int_handler);
 #endif  #endif
 }  }
   
 void segv_handler(int sig)  void segv_handler(int sig)
 {  {
 #if defined(SIGSEGV)  #if defined(SIGSEGV)
         signal(SIGSEGV,segv_handler);          set_signal_for_restart(SIGSEGV,segv_handler);
         error("internal error (SEGV)");          error("internal error (SEGV)");
 #endif  #endif
 }  }
Line 634  void segv_handler(int sig)
Line 686  void segv_handler(int sig)
 void ill_handler(int sig)  void ill_handler(int sig)
 {  {
 #if defined(SIGILL)  #if defined(SIGILL)
         signal(SIGILL,ill_handler);          set_signal_for_restart(SIGILL,ill_handler);
         error("illegal instruction (ILL)");          error("illegal instruction (ILL)");
 #endif  #endif
 }  }
Line 650  void ill_handler(int sig)
Line 702  void ill_handler(int sig)
 void alrm_handler(int sig)  void alrm_handler(int sig)
 {  {
         fprintf(stderr,"interval timer expired (VTALRM)\n");          fprintf(stderr,"interval timer expired (VTALRM)\n");
   #if defined(__MINGW32__)
           fflush(stderr);
   #endif
         LONGJMP(timer_env,1);          LONGJMP(timer_env,1);
 }  }
   
 void bus_handler(int sig)  void bus_handler(int sig)
 {  {
 #if defined(SIGBUS)  #if defined(SIGBUS)
         signal(SIGBUS,bus_handler);          set_signal_for_restart(SIGBUS,bus_handler);
         error("internal error (BUS ERROR)");          error("internal error (BUS ERROR)");
 #endif  #endif
 }  }
Line 664  void bus_handler(int sig)
Line 719  void bus_handler(int sig)
 void fpe_handler(int sig)  void fpe_handler(int sig)
 {  {
 #if defined(SIGFPE)  #if defined(SIGFPE)
         signal(SIGFPE,fpe_handler);          set_signal_for_restart(SIGFPE,fpe_handler);
         error("internal error (FPE)");          error("internal error (FPE)");
 #endif  #endif
 }  }
Line 672  void fpe_handler(int sig)
Line 727  void fpe_handler(int sig)
 void pipe_handler(int sig)  void pipe_handler(int sig)
 {  {
 #if defined(SIGPIPE)  #if defined(SIGPIPE)
         signal(SIGPIPE,pipe_handler);          set_signal_for_restart(SIGPIPE,pipe_handler);
         end_critical();          end_critical();
         error("internal error (BROKEN PIPE)");          error("internal error (BROKEN PIPE)");
 #endif  #endif
Line 703  void error(char *s)
Line 758  void error(char *s)
 {  {
         SNODE *snp=0;          SNODE *snp=0;
   
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         if ( !error_in_timer && timer_is_set )          if ( !error_in_timer && timer_is_set )
                 alrm_handler(SIGNAL_FOR_TIMER);                  alrm_handler(SIGNAL_FOR_TIMER);
 #endif  #endif
         fprintf(stderr,"%s\n",s);          fprintf(stderr,"%s\n",s);
   #if defined(__MINGW32__)
           fflush(stderr);
   #endif
         set_lasterror(s);          set_lasterror(s);
         if ( CPVS != GPVS ) {          if ( CPVS != GPVS ) {
                 if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf )                  if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf )
Line 736  void error(char *s)
Line 794  void error(char *s)
         resetenv("return to toplevel");          resetenv("return to toplevel");
 }  }
   
 void toplevel(char *s)  void goto_toplevel(char *s)
 {  {
         SNODE *snp=0;          SNODE *snp=0;
   
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
         if ( timer_is_set )          if ( timer_is_set )
                 alrm_handler(SIGNAL_FOR_TIMER);                  alrm_handler(SIGNAL_FOR_TIMER);
 #endif  #endif
         fprintf(stderr,"%s\n",s);          fprintf(stderr,"%s\n",s);
   #if defined(__MINGW32__)
           fflush(stderr);
   #endif
         if ( do_file ) {          if ( do_file ) {
                 char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */                  char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */
   
Line 755  void toplevel(char *s)
Line 816  void toplevel(char *s)
         resetenv("return to toplevel");          resetenv("return to toplevel");
 }  }
   
 #if !defined(VISUAL)  #if !defined(VISUAL) && !defined(__MINGW32__)
 #include <sys/time.h>  #include <sys/time.h>
   
 void set_timer(int interval)  void set_timer(int interval)
Line 767  void set_timer(int interval)
Line 828  void set_timer(int interval)
         it.it_value.tv_sec = interval;          it.it_value.tv_sec = interval;
         it.it_value.tv_usec = 0;          it.it_value.tv_usec = 0;
         setitimer(ITIMER_TYPE,&it,0);          setitimer(ITIMER_TYPE,&it,0);
         signal(SIGNAL_FOR_TIMER,alrm_handler);          set_signal(SIGNAL_FOR_TIMER,alrm_handler);
         timer_is_set = 1;          timer_is_set = 1;
 }  }
   
Line 780  void reset_timer()
Line 841  void reset_timer()
         it.it_value.tv_sec = 0;          it.it_value.tv_sec = 0;
         it.it_value.tv_usec = 0;          it.it_value.tv_usec = 0;
         setitimer(ITIMER_TYPE,&it,0);          setitimer(ITIMER_TYPE,&it,0);
         signal(SIGNAL_FOR_TIMER,SIG_IGN);          set_signal(SIGNAL_FOR_TIMER,SIG_IGN);
         timer_is_set = 0;          timer_is_set = 0;
 }  }
 #endif  #endif
Line 790  char *get_asir_distribution();
Line 851  char *get_asir_distribution();
   
 char *get_gcversion()  char *get_gcversion()
 {  {
 #if defined(GC7)          return "GC 7.2 copyright 1988-2012, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n";
         return "GC 7.1 copyright 1988-2008, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n";  
 #else  
         return "GC 6.8 copyright 1988-2006, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n";  
 #endif  
 }  }
   
 char *get_pariversion()  char *get_pariversion()
 {  {
 #if PARI  
 #if 0  
         return PARIVERSION", Copyright (C) 2000-2005 The PARI Group.\n";  
 #else  
         return "PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n   H. Cohen and M. Olivier.\n";  
 #endif  
 #endif  
         return "";          return "";
 }  }
   
Line 842  char *scopyright()
Line 892  char *scopyright()
         }          }
         return notice;          return notice;
 }  }
   
   #if defined(VISUAL) || defined(__MINGW32__)
   int recv_intr;
   
   static CRITICAL_SECTION signal_cs;
   static int initialized_signal_cs;
   static int signal_cs_count;
   
   static void init_signal_cs()
   {
       if (!initialized_signal_cs) {
           InitializeCriticalSection(&signal_cs);
                   initialized_signal_cs=1;
           signal_cs_count=0;
       }
   }
   
   void try_enter_signal_cs()
   {
           init_signal_cs();
       if(TryEnterCriticalSection(&signal_cs)) {
           signal_cs_count++;
       }
   }
   
   void enter_signal_cs()
   {
       init_signal_cs();
       EnterCriticalSection(&signal_cs);
       signal_cs_count++;
   }
   
   void leave_signal_cs()
   {
           init_signal_cs();
       if(signal_cs_count>0) {
           LeaveCriticalSection(&signal_cs);
           signal_cs_count--;
       }
   }
   
   void leave_signal_cs_all()
   {
       if (!initialized_signal_cs) {
           init_signal_cs();
       }
       while(signal_cs_count>0) {
           LeaveCriticalSection(&signal_cs);
           signal_cs_count--;
       }
   }
   
   void check_intr()
   {
           extern int recv_intr;
           enter_signal_cs();
           if ( recv_intr ) {
                   if ( recv_intr == 1 ) {
                           recv_intr = 0;
                           int_handler(SIGINT);
                   } else {
                           recv_intr = 0;
                           ox_usr1_handler(0);
                   }
           }
           leave_signal_cs_all();
   }
   #endif
Legend:
Removed from v.1.79  
changed lines
  Added in v.1.97
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>