=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/glob.c,v retrieving revision 1.7 retrieving revision 1.43 diff -u -p -r1.7 -r1.43 --- OpenXM_contrib2/asir2000/parse/glob.c 2000/07/13 05:09:03 1.7 +++ OpenXM_contrib2/asir2000/parse/glob.c 2004/01/25 11:54:10 1.43 @@ -1,49 +1,95 @@ -/* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.6 2000/06/05 03:21:58 noro Exp $ */ +/* + * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED + * All rights reserved. + * + * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited, + * non-exclusive and royalty-free license to use, copy, modify and + * redistribute, solely for non-commercial and non-profit purposes, the + * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and + * conditions of this Agreement. For the avoidance of doubt, you acquire + * only a limited right to use the SOFTWARE hereunder, and FLL or any + * third party developer retains all rights, including but not limited to + * copyrights, in and to the SOFTWARE. + * + * (1) FLL does not grant you a license in any way for commercial + * purposes. You may use the SOFTWARE only for non-commercial and + * non-profit purposes only, such as academic, research and internal + * business use. + * (2) The SOFTWARE is protected by the Copyright Law of Japan and + * international copyright treaties. If you make copies of the SOFTWARE, + * with or without modification, as permitted hereunder, you shall affix + * to all such copies of the SOFTWARE the above copyright notice. + * (3) An explicit reference to this SOFTWARE and its copyright owner + * shall be made on your publication or presentation in any form of the + * results obtained by use of the SOFTWARE. + * (4) In the event that you modify the SOFTWARE, you shall notify FLL by + * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification + * for such modification or the source code of the modified part of the + * SOFTWARE. + * + * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL + * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND + * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS + * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES' + * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY + * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY. + * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT, + * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY + * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL + * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES + * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES + * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY + * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF + * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART + * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY + * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, + * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. + * + * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.42 2004/01/07 06:25:42 ohara Exp $ +*/ #include "ca.h" #include "al.h" #include "parse.h" -#if PARI +#include "ox.h" +#if defined(PARI) #include "genpari.h" #endif -#if !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) +#if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) #include -#else -#if defined(THINK_C) && !defined(__MWERKS__) -#include #endif -#endif #if defined(VISUAL) #include #include +#else +#include +#include +#include #endif -#if defined(SYSV) +#if defined(SYSV) && !defined(_IBMR2) #include #endif -#if defined(THINK_C) || defined(VISUAL) #if defined(VISUAL) #define HISTORY asir_history -#else -#define HISTORY "history" #endif -#endif + #define MAXHIST 100 extern int GC_free_space_divisor; extern int GC_free_space_numerator; extern FILE *asir_out; -IN asir_infile; -jmp_buf env,debug_env,timer_env; +INFILE asir_infile; +JMP_BUF main_env,debug_env,timer_env,exec_env; int little_endian,debug_mode; char *asir_libdir; char *asir_pager; NODE usrf,sysf,noargsysf,ubinf,parif; NODE ONENODE; -int main_parser, ox_do_copy, ox_do_count, ox_count_length; +int main_parser, allow_create_var, ox_do_copy, ox_do_count, ox_count_length; int ox_file_io, ox_need_conv; char *ox_copy_bptr; char *parse_strp; @@ -53,7 +99,9 @@ FILE *ox_istream,*ox_ostream; int do_server_in_X11; Obj LastVal; char LastError[BUFSIZ]; +int timer_is_set; + struct oV oVAR[] = { {"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0}, {"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, @@ -80,29 +128,26 @@ struct oVS oGPVS,oAPVS,oEPVS; VS GPVS = &oGPVS; VS APVS = &oAPVS; VS EPVS = &oEPVS; -VS CPVS; +VS CPVS,MPVS; +NODE MODULE_LIST; +MODULE CUR_MODULE; +char *CUR_FUNC; + struct oF oF_TRUE,oF_FALSE; F F_TRUE = &oF_TRUE; F F_FALSE = &oF_FALSE; -#if defined(__SVR4) && defined(sun) -char cppname[BUFSIZ] = "/usr/ccs/lib/cpp "; -#else -#if defined(__FreeBSD__) || defined(__NetBSD__) -char cppname[BUFSIZ] = "/usr/bin/cpp "; -#else #if defined(VISUAL) char cppname[BUFSIZ] = "c:\\asir\\stdlib\\cpp "; #else char cppname[BUFSIZ] = "/lib/cpp "; #endif -#endif -#endif char asirname[BUFSIZ]; char displayname[BUFSIZ]; int Verbose; +int do_quiet; void glob_init() { int i; @@ -118,35 +163,27 @@ void glob_init() { 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; sprintf(asirname,"%s/asir_symtab",asir_libdir); -#if defined(THINK_C) - initVol(); -#endif } -void input_init(fp,name) -FILE *fp; -char *name; +void input_init(FILE *fp,char *name) { - asir_infile = (IN)CALLOC(sizeof(struct oIN),1); + asir_infile = (INFILE)CALLOC(sizeof(struct oINFILE),1); asir_infile->name = name; asir_infile->fp = fp; asir_infile->ln = 1; NEXT(asir_infile) = 0; } -void notdef(vl,a,b,c) -VL vl; -Obj a,b,*c; +void notdef(VL vl,Obj a,Obj b,Obj *c) { - *c = 0; error("undefined arithmetic operation."); } -int kernelmode; int do_asirrc; int do_file; +char *do_filename; int do_message; int do_fep; -int no_prompt; int read_exec_file; +int asir_setenv; static int buserr_sav; static char asir_history[BUFSIZ]; @@ -163,33 +200,36 @@ void ExitAsir() { * status = 2 normal termination (end(), quit() etc.) */ -void asir_terminate(status) -int status; +void asir_terminate(int status) { + int t; + if ( read_exec_file ) { - read_exec_file = 0; longjmp(env,status); + t = read_exec_file; + read_exec_file = 0; + if ( t == 1 ) + LONGJMP(main_env,status); + else + LONGJMP(exec_env,status); } else { tty_reset(); -#if INET && !defined(THINK_C) -#if MPI +#if defined(MPI) if ( !mpi_myid ) close_allconnections(); mpi_finalize(); #else +#if defined(SIGPIPE) + signal(SIGPIPE,SIG_IGN); +#endif close_allconnections(); #endif -#endif - if ( kernelmode ) - fputc(0xff,asir_out); if ( asir_out ) fflush(asir_out); -#if defined(THINK_C) && !defined(__MWERKS__) - *((int *)0x8) = buserr_sav; - while ( NEXT(asir_infile) ) - closecurrentinput(); - console_options.pause_atexit = 0; - resetDir(); - write_hist(HISTORY); +#if FEP + if ( do_fep ) { + stifle_history(MAXHIST); + write_history(asir_history); + } #endif ExitAsir(); } @@ -198,82 +238,79 @@ int status; void param_init() { unsigned int et = 0xff; extern int paristack; -#if defined(THINK_C) - char name[BUFSIZ]; - int c; - int val; - FILE *fp; - int stacksize; - -#include - GC_free_space_divisor = 4; stacksize = 0x40000; - if ( fp = fopen("params","r") ) { - while ( 1 ) { - c = fgetc(fp); - if ( c == EOF ) - break; - else - ungetc(c,fp); - fscanf(fp,"%s %d",name,&val); - if ( !strcmp(name,"stacksize") ) - stacksize = val; - else if ( !strcmp(name,"adj") ) - GC_free_space_divisor = val; -#if PARI - else if ( !strcmp(name,"paristack") ) - paristack = val; -#endif - } - fclose(fp); - } -#if defined(__MWERKS__) - { - Ptr al; - al = LMGetApplLimit(); - LMSetApplLimit(al-stacksize); - } -#else - ApplLimit = (Ptr)((char *)ApplLimit-stacksize); - console_options.title = "\pAsir"; -#endif -#endif if ( *((char *)&et) ) little_endian = 1; else little_endian = 0; } - + +Obj user_defined_prompt; + void prompt() { - if ( !no_prompt && !do_fep && asir_infile->fp == stdin ) - fprintf(asir_out,"[%d]%c",APVS->n,kernelmode?0xfe:' '); + if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) + fprintf(asir_out,"[%d] ",APVS->n); + else if ( do_quiet && user_defined_prompt + && OID(user_defined_prompt)==O_STR) { + fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n); + } fflush(asir_out); } -void sprompt(ptr) -char *ptr; +void sprompt(char *ptr) { - sprintf(ptr,"[%d]%c",APVS->n,kernelmode?0xfe:' '); + sprintf(ptr,"[%d] ",APVS->n); } -#if 0 && !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1) -static struct tchars tc; -static char oldeof; -struct winsize wsize; -int ttywidth; -char *upperbuf,*lowerbuf; +#if !defined(VISUAL) +static int which(char *prog, char *path, char *buf, size_t size) +{ + char *tok; + char delim[] = ":"; + char *path2 = malloc(strlen(path)+1); + char *name = malloc(size); + int proglen = strlen(prog)+3; /* "/" + prog + " \0" */ + + if (!name || !path2) { + return 0; + } + strcpy(path2, path); + tok = strtok(path2, delim); + while (tok != NULL) { + if (size >= strlen(tok)) { + sprintf(name, "%s/%s", tok, prog); + if (access(name, X_OK&R_OK) == 0) { + strcpy(buf, name); + strcat(buf, " "); + free(path2); free(name); + return 1; + } + tok = strtok(NULL, delim); + } + } + free(path2); free(name); + return 0; +} #endif +void cppname_init() +{ +#if !defined(VISUAL) + if (access(cppname, X_OK&R_OK) != 0) { + which("cpp", "/lib:/usr/ccs/lib:/usr/bin", cppname, BUFSIZ) || + which("cpp", getenv("PATH"), cppname, BUFSIZ); + } +#endif +} + FILE *in_fp; -void process_args(ac,av) -int ac; -char **av; +void process_args(int ac,char **av) { -#if !defined(THINK_C) do_asirrc = 1; -#if !MPI +#if !defined(MPI) do_message = 1; #endif + do_quiet = 0; while ( ac > 0 ) { if ( !strcmp(*av,"-heap") && (ac >= 2) ) { void GC_expand_hp(int); @@ -292,21 +329,25 @@ char **av; } else if ( !strcmp(*av,"-cpp") && (ac >= 2) ) { strcpy(cppname,*(av+1)); av += 2; ac -= 2; } else if ( !strcmp(*av,"-f") && (ac >= 2) ) { + do_quiet = 1; in_fp = fopen(*(av+1),"r"); if ( !in_fp ) { fprintf(stderr,"%s does not exist!",*(av+1)); asir_terminate(1); } do_file = 1; + do_filename = *(av+1); av += 2; ac -= 2; - } else if ( !strcmp(*av,"-kernel") ) { - kernelmode = 1; av++; ac--; + } else if ( !strcmp(*av,"-E") ) { + asir_setenv = 1; av++; ac--; + } else if ( !strcmp(*av,"-quiet") ) { + do_quiet = 1; av++; ac--; } else if ( !strcmp(*av,"-norc") ) { do_asirrc = 0; av++; ac--; } else if ( !strcmp(*av,"-nomessage") ) { do_message = 0; av++; ac--; - } else if ( !strcmp(*av,"-terse") ) { - no_prompt = 0; av++; ac--; + } else if ( !strcmp(*av,"-rootdir") && (ac >= 2) ) { + set_rootdir(*(av+1)); av += 2; ac -= 2; } else if ( !strcmp(*av,"-maxheap") && (ac >= 2) ) { void GC_set_max_heap_size(int); @@ -315,7 +356,11 @@ char **av; } else if ( !strcmp(*av,"-display") && (ac >= 2) ) { strcpy(displayname,*(av+1)); av += 2; ac -= 2; #endif -#if PARI +#if FEP + } else if ( !strcmp(*av,"-fep") ) { + do_fep = 1; av++; ac--; +#endif +#if defined(PARI) } else if ( !strcmp(*av,"-paristack") ) { extern int paristack; @@ -326,11 +371,17 @@ char **av; asir_terminate(1); } } +#if FEP + if ( do_fep ) { + char *home; + home = (char *)getenv("HOME"); + if (!home) + home = "."; + sprintf (asir_history, "%s/.asir_history",home); + read_history(asir_history); + using_history(); + } #endif -#if (defined(THINK_C) && !defined(__MWERKS__)) - init_hist(MAXHIST); - read_hist(HISTORY); -#endif } #include @@ -339,38 +390,27 @@ void sig_init() { #if !defined(VISUAL) signal(SIGINT,int_handler); #else + void register_ctrlc_handler(); + register_ctrlc_handler(); #endif signal(SIGSEGV,segv_handler); -#if defined SIGFPE +#if defined(SIGFPE) signal(SIGFPE,fpe_handler); #endif -#if defined SIGPIPE +#if defined(SIGPIPE) signal(SIGPIPE,pipe_handler); #endif -#if defined SIGILL +#if defined(SIGILL) signal(SIGILL,ill_handler); #endif -#if defined(THINK_C) - buserr_sav = *((int *)0x8); - *((int *)0x8) = (int)bus_handler; -#else /* THINK_C */ - #if !defined(VISUAL) signal(SIGBUS,bus_handler); #endif - -#if 0 -#if !defined(VISUAL) && !defined(_PA_RISC1_1) - signal(SIGWINCH,winch_handler); -#endif -#endif - -#endif /* THINK_C */ } static void (*old_int)(int); @@ -388,8 +428,7 @@ void asir_reset_handler() { signal(SIGINT,old_int); } -void resetenv(s) -char *s; +void resetenv(char *s) { extern FILE *outfile; @@ -405,17 +444,19 @@ char *s; w_noflush_stderr(0); #endif asir_out = stdout; -#if PARI +#if defined(PARI) pari_outfile = stdout; #endif /* restore states */ reset_engine(); reset_io(); - longjmp(env,1); +#if !defined(VISUAL) + reset_timer(); +#endif + LONGJMP(main_env,1); } -void fatal(n) -int n; +void fatal(int n) { resetenv("return to toplevel"); } @@ -423,8 +464,7 @@ int n; FUNC registered_handler; extern int ox_int_received, critical_when_signal; -void int_handler(sig) -int sig; +void int_handler(int sig) { extern NODE PVSS; @@ -435,12 +475,10 @@ int sig; ox_int_received = 1; return; } -#if defined(THINK_C) || defined(VISUAL) - suspend_timer(); signal(SIGINT,SIG_IGN); +#if defined(VISUAL) + suspend_timer(); #endif -#if defined(_PA_RISC1_1) || defined(linux) || defined(VISUAL) || defined(__svr4__) signal(SIGINT,SIG_IGN); -#endif #if !defined(VISUAL) if ( do_server_in_X11 ) { debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0); @@ -461,8 +499,6 @@ int sig; char c; fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr); - if ( kernelmode ) - fputc('\0',stderr); buf[0] = '\n'; while ( buf[0] == '\n' ) fgets(buf,BUFSIZ,stdin); @@ -494,8 +530,6 @@ int sig; } if ( debug_mode ) debug_mode = 0; - if ( kernelmode ) - fputc('\0',stderr); restore_handler(); if ( c == 'u' ) { if ( registered_handler ) { @@ -519,8 +553,6 @@ int sig; restore_handler(); return; case 'c': - if ( kernelmode ) - fputc('\0',stderr); restore_handler(); return; break; case 'w': @@ -535,41 +567,37 @@ int sig; } void restore_handler() { -#if defined(THINK_C) || defined(VISUAL) - resume_timer(); signal(SIGINT,int_handler); +#if defined(VISUAL) + resume_timer(); #endif -#if defined(_PA_RISC1_1) || defined(linux) || defined(__svr4__) +#if defined(SIGINT) signal(SIGINT,int_handler); #endif } -void segv_handler(sig) -int sig; +void segv_handler(int sig) { -#if defined(THINK_C) || defined(_PA_RISC1_1) || defined(linux) || defined(VISUAL) || defined(__svr4__) +#if defined(SIGSEGV) signal(SIGSEGV,segv_handler); -#endif error("internal error (SEGV)"); +#endif } -void ill_handler(sig) -int sig; +void ill_handler(int sig) { -#if defined(THINK_C) || defined(_PA_RISC1_1) || defined(linux) || defined(VISUAL) || defined(__svr4__) +#if defined(SIGILL) signal(SIGILL,ill_handler); -#endif error("illegal instruction (ILL)"); +#endif } -void alrm_handler(sig) -int sig; +void alrm_handler(int sig) { fprintf(stderr,"interval timer expired (VTALRM)\n"); - longjmp(timer_env,1); + LONGJMP(timer_env,1); } -void bus_handler(sig) -int sig; +void bus_handler(int sig) { #if defined(SIGBUS) signal(SIGBUS,bus_handler); @@ -577,87 +605,36 @@ int sig; #endif } -void fpe_handler(sig) -int sig; +void fpe_handler(int sig) { -#if defined(THINK_C) || defined(_PA_RISC1_1) || defined(linux) || defined(VISUAL) || defined(__svr4__) +#if defined(SIGFPE) signal(SIGFPE,fpe_handler); -#endif error("internal error (FPE)"); -} - -void winch_handler(sig) -int sig; -{ -#if 0 -#if !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(__svr4__) - if ( isatty(1) ) { - struct winsize t; - - if ( ioctl(1,TIOCGWINSZ,&t) == -1 ) - perror("TIOCGWINSZ"); - if ( t.ws_col != wsize.ws_col || t.ws_row != wsize.ws_row ) { - resize_buffer(); - if ( killpg(getpgrp(0),SIGWINCH) == -1 ) - perror("killpg"); - } - } #endif -#endif } -void pipe_handler(sig) -int sig; +void pipe_handler(int sig) { #if defined(SIGPIPE) signal(SIGPIPE,pipe_handler); + end_critical(); error("internal error (BROKEN PIPE)"); #endif } void resize_buffer() { -#if 0 && !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1) - if ( isatty(1) ) { - if ( ioctl(1,TIOCGWINSZ,&wsize) == -1 ) - perror("TIOCGWINSZ"); - if ( wsize.ws_col > 2 ) { - ttywidth = wsize.ws_col - 2; - upperbuf = (char *)MALLOC(wsize.ws_col); - lowerbuf = (char *)MALLOC(wsize.ws_col); - } - } -#endif } void tty_init() { -#if 0 && !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1) - if ( isatty(0) ) { - if ( ioctl(0,TIOCGETC,&tc) == -1 ) - perror("TIOCGETC"); - oldeof = tc.t_eofc; tc.t_eofc = 0xff; - if ( ioctl(0,TIOCSETC,&tc) == -1 ) - perror("TIOCSETC"); - setpgrp(0, getpid()); - } - resize_buffer(); -#endif } void tty_reset() { -#if 0 && !defined(THINK_C) && !defined(VISUAL) && !defined(_PA_RISC1_1) - if ( oldeof ) { - tc.t_eofc = oldeof; - if ( ioctl(0,TIOCSETC,&tc) == -1 ) - perror("TIOCSETC"); - } -#endif } extern int evalstatline; -void set_lasterror(s) -char *s; +void set_lasterror(char *s) { strncpy(LastError,s,BUFSIZ); LastError[BUFSIZ-1] = 0; @@ -665,15 +642,18 @@ char *s; SNODE error_snode; -void error(s) -char *s; +void error(char *s) { - SNODE *snp; + SNODE *snp=0; +#if !defined(VISUAL) + if ( timer_is_set ) + alrm_handler(SIGVTALRM); +#endif fprintf(stderr,"%s\n",s); set_lasterror(s); if ( CPVS != GPVS ) { - if ( CPVS->usrf && CPVS->usrf && CPVS->usrf->f.usrf ) + if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf ) searchsn(&BDY(CPVS->usrf->f.usrf),evalstatline,&snp); if ( snp ) error_snode = *snp; @@ -690,7 +670,7 @@ char *s; ExitAsir(); } if ( debug_mode ) - longjmp(debug_env,1); + LONGJMP(debug_env,1); if ( CPVS != GPVS ) if ( do_server_in_X11 || isatty(0) ) bp(error_snode); @@ -699,11 +679,31 @@ char *s; resetenv("return to toplevel"); } +void toplevel(char *s) +{ + SNODE *snp=0; + #if !defined(VISUAL) + if ( timer_is_set ) + alrm_handler(SIGVTALRM); +#endif + fprintf(stderr,"%s\n",s); + if ( do_file ) { + char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */ + + sprintf(errbuf,"%s\n",s); + showpos_to_string(errbuf+strlen(errbuf)); + ExitAsir(); + } + if ( read_exec_file ) + read_exec_file = 0; + resetenv("return to toplevel"); +} + +#if !defined(VISUAL) #include -void set_timer(interval) -int interval; +void set_timer(int interval) { struct itimerval it; @@ -713,6 +713,7 @@ int interval; it.it_value.tv_usec = 0; setitimer(ITIMER_VIRTUAL,&it,0); signal(SIGVTALRM,alrm_handler); + timer_is_set = 1; } void reset_timer() @@ -725,14 +726,31 @@ void reset_timer() it.it_value.tv_usec = 0; setitimer(ITIMER_VIRTUAL,&it,0); signal(SIGVTALRM,SIG_IGN); + timer_is_set = 0; } #endif unsigned int get_asir_version(); +char *get_asir_distribution(); void copyright() { - printf("This is Risa/Asir, Version %d.\n",get_asir_version()); - printf("Copyright (C) FUJITSU LABORATORIES LIMITED.\n"); - printf("1994-1999. All rights reserved.\n"); +#if defined(INTERVAL) + printf("This is Risa/Asir + Interval Arithmetic, Version %d (%s Distribution).\n", + get_asir_version(), get_asir_distribution()); +#else + printf("This is Risa/Asir, Version %d (%s Distribution).\n", + get_asir_version(), get_asir_distribution()); +#endif + printf("Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\n"); + printf("Copyright 2000-2003, Risa/Asir committers, http://www.openxm.org/.\n"); + printf("GC 6.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"); +#if PARI +#if 0 + printf("PARI 2.2.4, copyright (C) 2002 The PARI Group.\n"); +#endif + printf("PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n"); + printf(" H. Cohen and M. Olivier.\n"); +#endif } +