[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.64 and 1.80

version 1.64, 2006/02/10 23:56:44 version 1.80, 2011/06/16 08:17:15
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.63 2006/02/08 04:33:50 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.79 2010/08/03 04:34:44 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "al.h"  #include "al.h"
Line 54 
Line 54 
 #if defined(PARI)  #if defined(PARI)
 #include "genpari.h"  #include "genpari.h"
 #endif  #endif
 #if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX)  #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
   
Line 77 
Line 77 
   
 #define MAXHIST 100  #define MAXHIST 100
   
 extern int GC_free_space_divisor;  
 extern int GC_free_space_numerator;  
 extern FILE *asir_out;  extern FILE *asir_out;
   
 INFILE asir_infile;  INFILE asir_infile;
Line 169  void glob_init() {
Line 167  void glob_init() {
         reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV));          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));          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 320  static int which(char *prog, char *path, char *buf, si
Line 318  static int which(char *prog, char *path, char *buf, si
 void cppname_init()  void cppname_init()
 {  {
 #if !defined(VISUAL)  #if !defined(VISUAL)
           char *oxhome;
           char oxcpp[BUFSIZ];
   #define OXCPP "/bin/ox_cpp"
   
           if ( oxhome = getenv("OpenXM_HOME") ) {
                   if ( strlen(oxhome)+strlen(OXCPP)<BUFSIZ ) {
                           sprintf(oxcpp,"%s%s",oxhome,OXCPP);
                           if ( access(oxcpp,X_OK&R_OK) == 0 ) {
                           strcpy(cppname,oxcpp);
                                   return;
                           }
                   }
           }
     if (access(cppname, X_OK&R_OK) != 0) {      if (access(cppname, X_OK&R_OK) != 0) {
         which("cpp", "/lib:/usr/ccs/lib:/usr/bin", cppname, BUFSIZ) ||          which("cpp", "/lib:/usr/ccs/lib:/usr/bin", cppname, BUFSIZ) ||
         which("cpp", getenv("PATH"), cppname, BUFSIZ);          which("cpp", getenv("PATH"), cppname, BUFSIZ);
Line 331  FILE *in_fp;
Line 342  FILE *in_fp;
   
 void process_args(int ac,char **av)  void process_args(int ac,char **av)
 {  {
           int nm,dv;
         do_asirrc = 1;          do_asirrc = 1;
 #if !defined(MPI)  #if !defined(MPI)
         do_message = 1;          do_message = 1;
Line 343  void process_args(int ac,char **av)
Line 355  void process_args(int ac,char **av)
                         GC_expand_hp(atoi(*(av+1))); av += 2; ac -= 2;                          GC_expand_hp(atoi(*(av+1))); av += 2; ac -= 2;
                 } else if ( !strcmp(*av,"-adj") && (ac >= 2) ) {                  } else if ( !strcmp(*av,"-adj") && (ac >= 2) ) {
                         char *slash;                          char *slash;
   
                         slash = strrchr(*(av+1),'/');                          slash = strrchr(*(av+1),'/');
                         if ( slash ) {                          if ( slash ) {
                                 *slash = 0;                                  *slash = 0;
                                 GC_free_space_numerator = atoi(slash+1);                                  nm = atoi(slash+1);
                           }else {
                                   nm = 1;
                         }                          }
                         GC_free_space_divisor = atoi(*(av+1));                          dv = atoi(*(av+1));
                           Risa_GC_set_adj(nm,dv);
                         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;
Line 528  void int_handler(int sig)
Line 542  void int_handler(int sig)
   
                 fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr);                  fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr);
                 buf[0] = '\n';                  buf[0] = '\n';
                 while ( buf[0] == '\n' )                  while ( !feof(stdin) && buf[0] == '\n' )
                         fgets(buf,BUFSIZ,stdin);                          fgets(buf,BUFSIZ,stdin);
                   if ( feof(stdin) ) {
                           clearerr(stdin);
                           continue;
                   }
                 switch ( c = buf[0] ) {                  switch ( c = buf[0] ) {
                         case 'q':                          case 'q':
                                 while ( 1 ) {                                  while ( 1 ) {
Line 537  void int_handler(int sig)
Line 555  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");
                                                   /* for terminating myself */
                                                   asir_infile = 0;
                                                 asir_terminate(1);                                                  asir_terminate(1);
                                         } else if ( !strncmp(buf,"n",1) ) {                                          } else if ( !strncmp(buf,"n",1) ) {
                                                 restore_handler();                                                  restore_handler();
Line 619  void ill_handler(int sig)
Line 639  void ill_handler(int sig)
 #endif  #endif
 }  }
   
   #if defined(__DARWIN__)
   #define SIGNAL_FOR_TIMER SIGALRM
   #define ITIMER_TYPE ITIMER_REAL
   #else
   #define SIGNAL_FOR_TIMER SIGVTALRM
   #define ITIMER_TYPE ITIMER_VIRTUAL
   #endif
   
 void alrm_handler(int sig)  void alrm_handler(int sig)
 {  {
         fprintf(stderr,"interval timer expired (VTALRM)\n");          fprintf(stderr,"interval timer expired (VTALRM)\n");
Line 677  void error(char *s)
Line 705  void error(char *s)
   
 #if !defined(VISUAL)  #if !defined(VISUAL)
         if ( !error_in_timer && timer_is_set )          if ( !error_in_timer && timer_is_set )
                 alrm_handler(SIGVTALRM);                  alrm_handler(SIGNAL_FOR_TIMER);
 #endif  #endif
         fprintf(stderr,"%s\n",s);          fprintf(stderr,"%s\n",s);
         set_lasterror(s);          set_lasterror(s);
Line 714  void toplevel(char *s)
Line 742  void toplevel(char *s)
   
 #if !defined(VISUAL)  #if !defined(VISUAL)
         if ( timer_is_set )          if ( timer_is_set )
                 alrm_handler(SIGVTALRM);                  alrm_handler(SIGNAL_FOR_TIMER);
 #endif  #endif
         fprintf(stderr,"%s\n",s);          fprintf(stderr,"%s\n",s);
         if ( do_file ) {          if ( do_file ) {
Line 738  void set_timer(int interval)
Line 766  void set_timer(int interval)
         it.it_interval.tv_usec = 0;          it.it_interval.tv_usec = 0;
         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_VIRTUAL,&it,0);          setitimer(ITIMER_TYPE,&it,0);
         signal(SIGVTALRM,alrm_handler);          signal(SIGNAL_FOR_TIMER,alrm_handler);
         timer_is_set = 1;          timer_is_set = 1;
 }  }
   
Line 751  void reset_timer()
Line 779  void reset_timer()
         it.it_interval.tv_usec = 0;          it.it_interval.tv_usec = 0;
         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_VIRTUAL,&it,0);          setitimer(ITIMER_TYPE,&it,0);
         signal(SIGVTALRM,SIG_IGN);          signal(SIGNAL_FOR_TIMER,SIG_IGN);
         timer_is_set = 0;          timer_is_set = 0;
 }  }
 #endif  #endif
Line 760  void reset_timer()
Line 788  void reset_timer()
 unsigned int get_asir_version();  unsigned int get_asir_version();
 char *get_asir_distribution();  char *get_asir_distribution();
   
   char *get_gcversion()
   {
   #if defined(GC7)
           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 PARI
Line 783  char *get_intervalversion()
Line 820  char *get_intervalversion()
   
 void copyright()  void copyright()
 {  {
         char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2006, Risa/Asir committers, http://www.openxm.org/.\nGC 6.5 Copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s";          char *scopyright();
         printf(format, get_intervalversion(), get_asir_version(), get_asir_distribution(), get_pariversion());          fputs(scopyright(), stdout);
 }  }
   
 char *scopyright()  char *scopyright()
 {  {
         static char *notice;          static char *notice;
         char *s1, *s2, *s3;          char *s1, *s2, *s3, *s4;
         int d, len;          int d, len;
         char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2006, Risa/Asir committers, http://www.openxm.org/.\nGC 6.5 copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n%s";          char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2007, Risa/Asir committers, http://www.openxm.org/.\n%s%s";
         if (!notice) {          if (!notice) {
                 s1 = get_intervalversion();                  s1 = get_intervalversion();
                 s2 = get_asir_distribution();                  s2 = get_asir_distribution();
                 s3 = get_pariversion();                  s3 = get_gcversion();
                   s4 = get_pariversion();
                 d  = get_asir_version();                  d  = get_asir_version();
                 len = (strlen(format)-8)+strlen(s1)+strlen(s2)+strlen(s3)+sizeof(int)*3;                  len = (strlen(format)-8)+strlen(s1)+strlen(s2)+strlen(s3)+strlen(s4)+sizeof(int)*3;
                 notice = MALLOC(len+1);                  notice = MALLOC(len+1);
                 sprintf(notice, format, s1, d, s2, s3);                  sprintf(notice, format, s1, d, s2, s3, s4);
         }          }
         return notice;          return notice;
 }  }
Legend:
Removed from v.1.64  
changed lines
  Added in v.1.80
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>