version 1.44, 2004/02/04 07:42:07 |
version 1.85, 2014/03/30 10:48:16 |
|
|
* 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.43 2004/01/25 11:54:10 ohara Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.84 2013/11/29 08:21:29 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "al.h" |
#include "al.h" |
|
|
#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 |
|
|
|
|
|
|
#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; |
JMP_BUF main_env,debug_env,timer_env,exec_env; |
JMP_BUF main_env,debug_env,timer_env,exec_env; |
int little_endian,debug_mode; |
int little_endian,debug_mode,no_debug_on_error; |
char *asir_libdir; |
char *asir_libdir; |
|
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 98 FUNC parse_targetf; |
|
Line 98 FUNC parse_targetf; |
|
FILE *ox_istream,*ox_ostream; |
FILE *ox_istream,*ox_ostream; |
int do_server_in_X11; |
int do_server_in_X11; |
Obj LastVal; |
Obj LastVal; |
|
LIST LastStackTrace; |
char LastError[BUFSIZ]; |
char LastError[BUFSIZ]; |
int timer_is_set; |
int timer_is_set; |
|
NODE current_option; |
|
NODE user_int_handler, user_quit_handler; |
|
|
|
|
struct oV oVAR[] = { |
struct oV oVAR[] = { |
{"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0}, |
{"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0}, |
{"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, |
{"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, |
Line 124 struct oVL oVLIST[52]; |
|
Line 126 struct oVL oVLIST[52]; |
|
VL CO = oVLIST; |
VL CO = oVLIST; |
VL ALG; |
VL ALG; |
|
|
struct oVS oGPVS,oAPVS,oEPVS; |
struct oVS oGPVS,oAPVS,oEPVS,oPPVS; |
VS GPVS = &oGPVS; |
VS GPVS = &oGPVS; |
VS APVS = &oAPVS; |
VS APVS = &oAPVS; |
VS EPVS = &oEPVS; |
VS EPVS = &oEPVS; |
|
VS PPVS = &oPPVS; |
VS CPVS,MPVS; |
VS CPVS,MPVS; |
|
|
NODE MODULE_LIST; |
NODE MODULE_LIST; |
MODULE CUR_MODULE; |
MODULE CUR_MODULE; |
char *CUR_FUNC; |
char *CUR_FUNC; |
|
|
struct oSymbol oGrlex, oGlex, oLex; |
struct oSYMBOL oGrlex, oGlex, oLex; |
Symbol Symbol_grlex = &oGrlex; |
SYMBOL Symbol_grlex = &oGrlex; |
Symbol Symbol_glex = &oGlex; |
SYMBOL Symbol_glex = &oGlex; |
Symbol Symbol_lex = &oLex;; |
SYMBOL Symbol_lex = &oLex;; |
|
|
struct oF oF_TRUE,oF_FALSE; |
struct oF oF_TRUE,oF_FALSE; |
F F_TRUE = &oF_TRUE; |
F F_TRUE = &oF_TRUE; |
Line 163 void glob_init() { |
|
Line 166 void glob_init() { |
|
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)); |
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)); |
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)); |
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"; |
Symbol_grlex->value = 0; |
Symbol_grlex->value = 0; |
OID(Symbol_glex) = O_SYMBOL; Symbol_glex->name = "@glex"; |
OID(Symbol_glex) = O_SYMBOL; Symbol_glex->name = "@glex"; |
Symbol_glex->value = 1; |
Symbol_glex->value = 1; |
OID(Symbol_lex) = O_SYMBOL; Symbol_glex->name = "@lex"; |
OID(Symbol_lex) = O_SYMBOL; Symbol_lex->name = "@lex"; |
Symbol_lex->value = 1; |
Symbol_lex->value = 2; |
sprintf(asirname,"%s/asir_symtab",asir_libdir); |
sprintf(asirname,"%s/asir_symtab",asir_libdir); |
} |
} |
|
|
|
|
int do_file; |
int do_file; |
char *do_filename; |
char *do_filename; |
int do_message; |
int do_message; |
|
int do_terse; |
int do_fep; |
int do_fep; |
int read_exec_file; |
|
int asir_setenv; |
int asir_setenv; |
static int buserr_sav; |
static int buserr_sav; |
static char asir_history[BUFSIZ]; |
static char asir_history[BUFSIZ]; |
Line 209 void ExitAsir() { |
|
Line 213 void ExitAsir() { |
|
/* |
/* |
* status = 1 abnormal termination (error() etc.) |
* status = 1 abnormal termination (error() etc.) |
* status = 2 normal termination (end(), quit() etc.) |
* status = 2 normal termination (end(), quit() etc.) |
|
* status = 3 absolute termination |
*/ |
*/ |
|
|
void asir_terminate(int status) |
void asir_terminate(int status) |
{ |
{ |
int t; |
int t; |
|
NODE n; |
|
|
if ( read_exec_file ) { |
/* called from engine in Windows */ |
t = read_exec_file; |
if ( status == 3 ) asir_infile = 0; |
read_exec_file = 0; |
|
if ( t == 1 ) |
if ( asir_infile && asir_infile->ready_for_longjmp ) |
LONGJMP(main_env,status); |
LONGJMP(asir_infile->jmpbuf,status); |
else |
else { |
LONGJMP(exec_env,status); |
if ( user_quit_handler ) { |
} else { |
if ( !do_terse ) |
|
fprintf(stderr,"Calling the registered quit callbacks..."); |
|
for ( n = user_quit_handler; n; n = NEXT(n) ) |
|
bevalf((FUNC)BDY(n),0); |
|
if ( !do_terse ) |
|
fprintf(stderr, "done.\n"); |
|
} |
tty_reset(); |
tty_reset(); |
#if defined(MPI) |
#if defined(MPI) |
if ( !mpi_myid ) |
if ( !mpi_myid ) |
Line 258 void param_init() { |
|
Line 270 void param_init() { |
|
Obj user_defined_prompt; |
Obj user_defined_prompt; |
|
|
void prompt() { |
void prompt() { |
if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) |
if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) { |
fprintf(asir_out,"[%d] ",APVS->n); |
fprintf(asir_out,"[%d] ",APVS->n); |
else if ( do_quiet && user_defined_prompt |
fflush(asir_out); |
|
} else if ( do_quiet && user_defined_prompt |
&& OID(user_defined_prompt)==O_STR) { |
&& OID(user_defined_prompt)==O_STR) { |
fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n); |
fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n); |
|
fflush(asir_out); |
} |
} |
fflush(asir_out); |
|
} |
} |
|
|
void sprompt(char *ptr) |
void sprompt(char *ptr) |
Line 306 static int which(char *prog, char *path, char *buf, si |
|
Line 319 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); |
|
|
|
|
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 329 void process_args(int ac,char **av) |
|
Line 356 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 343 void process_args(int ac,char **av) |
|
Line 372 void process_args(int ac,char **av) |
|
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!",*(av+1)); |
fprintf(stderr,"%s does not exist!\n",*(av+1)); |
asir_terminate(1); |
asir_terminate(1); |
} |
} |
do_file = 1; |
do_file = 1; |
Line 439 void asir_reset_handler() { |
|
Line 468 void asir_reset_handler() { |
|
signal(SIGINT,old_int); |
signal(SIGINT,old_int); |
} |
} |
|
|
|
extern int I_am_server; |
|
|
void resetenv(char *s) |
void resetenv(char *s) |
{ |
{ |
extern FILE *outfile; |
extern FILE *outfile; |
Line 472 void fatal(int n) |
|
Line 503 void fatal(int n) |
|
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
} |
} |
|
|
FUNC registered_handler; |
|
extern int ox_int_received, critical_when_signal; |
extern int ox_int_received, critical_when_signal; |
|
extern int in_gc, caught_intr; |
|
|
void int_handler(int sig) |
void int_handler(int sig) |
{ |
{ |
extern NODE PVSS; |
extern NODE PVSS; |
|
NODE t; |
|
|
|
|
if ( do_file ) { |
if ( do_file ) { |
ExitAsir(); |
ExitAsir(); |
} |
} |
Line 486 void int_handler(int sig) |
|
Line 519 void int_handler(int sig) |
|
ox_int_received = 1; |
ox_int_received = 1; |
return; |
return; |
} |
} |
|
if ( in_gc ) { |
|
caught_intr = 1; |
|
return; |
|
} |
#if defined(VISUAL) |
#if defined(VISUAL) |
suspend_timer(); |
suspend_timer(); |
#endif |
#endif |
Line 511 void int_handler(int sig) |
|
Line 548 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 ) { |
fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); |
fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); |
fgets(buf,BUFSIZ,stdin); |
fgets(buf,BUFSIZ,stdin); |
if ( !strncmp(buf,"y",1) ) { |
if ( !strncmp(buf,"y",1) ) { |
read_exec_file = 0; |
fprintf(stderr,"Bye\n"); |
fprintf(stderr,"Bye\n"); asir_terminate(1); |
/* for terminating myself */ |
|
asir_infile = 0; |
|
asir_terminate(1); |
} else if ( !strncmp(buf,"n",1) ) { |
} else if ( !strncmp(buf,"n",1) ) { |
restore_handler(); |
restore_handler(); |
return; |
return; |
Line 543 void int_handler(int sig) |
|
Line 586 void int_handler(int sig) |
|
debug_mode = 0; |
debug_mode = 0; |
restore_handler(); |
restore_handler(); |
if ( c == 'u' ) { |
if ( c == 'u' ) { |
if ( registered_handler ) { |
if ( user_int_handler ) { |
fprintf(stderr, |
if ( !do_terse ) |
"Calling the registered exception handler..."); |
fprintf(stderr, |
bevalf(registered_handler,0); |
"Calling the registered exception callbacks..."); |
fprintf(stderr, "done.\n"); |
for ( t = user_int_handler; t; t = NEXT(t) ) |
|
bevalf((FUNC)BDY(t),0); |
|
if ( !do_terse ) |
|
fprintf(stderr, "done.\n"); |
} |
} |
} |
} |
if ( read_exec_file ) { |
resetenv("return to toplevel"); |
read_exec_file = 0; |
|
resetenv("initialization aborted; return to toplevel"); |
|
} else |
|
resetenv("return to toplevel"); |
|
break; |
break; |
case 'd': |
case 'd': |
#if 0 |
#if 0 |
Line 567 void int_handler(int sig) |
|
Line 609 void int_handler(int sig) |
|
restore_handler(); |
restore_handler(); |
return; break; |
return; break; |
case 'w': |
case 'w': |
showpos(); break; |
showpos(); |
|
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"); |
break; |
break; |
Line 602 void ill_handler(int sig) |
|
Line 645 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 652 void set_lasterror(char *s) |
|
Line 703 void set_lasterror(char *s) |
|
} |
} |
|
|
SNODE error_snode; |
SNODE error_snode; |
|
int error_in_timer; |
|
|
void error(char *s) |
void error(char *s) |
{ |
{ |
SNODE *snp=0; |
SNODE *snp=0; |
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) |
if ( 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 683 void error(char *s) |
|
Line 735 void error(char *s) |
|
if ( debug_mode ) |
if ( debug_mode ) |
LONGJMP(debug_env,1); |
LONGJMP(debug_env,1); |
if ( CPVS != GPVS ) |
if ( CPVS != GPVS ) |
if ( do_server_in_X11 || isatty(0) ) |
if ( !no_debug_on_error && (do_server_in_X11 || isatty(0)) ) |
bp(error_snode); |
bp(error_snode); |
if ( read_exec_file ) |
if ( I_am_server ) |
read_exec_file = 0; |
showpos_to_list(&LastStackTrace); |
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
} |
} |
|
|
Line 696 void toplevel(char *s) |
|
Line 748 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 706 void toplevel(char *s) |
|
Line 758 void toplevel(char *s) |
|
showpos_to_string(errbuf+strlen(errbuf)); |
showpos_to_string(errbuf+strlen(errbuf)); |
ExitAsir(); |
ExitAsir(); |
} |
} |
if ( read_exec_file ) |
|
read_exec_file = 0; |
|
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
} |
} |
|
|
Line 722 void set_timer(int interval) |
|
Line 772 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 735 void reset_timer() |
|
Line 785 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 744 void reset_timer() |
|
Line 794 void reset_timer() |
|
unsigned int get_asir_version(); |
unsigned int get_asir_version(); |
char *get_asir_distribution(); |
char *get_asir_distribution(); |
|
|
void copyright() { |
char *get_gcversion() |
#if defined(INTERVAL) |
{ |
printf("This is Risa/Asir + Interval Arithmetic, Version %d (%s Distribution).\n", |
return "GC 7.2 copyright 1988-2012, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"; |
get_asir_version(), get_asir_distribution()); |
} |
#else |
|
printf("This is Risa/Asir, Version %d (%s Distribution).\n", |
char *get_pariversion() |
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 PARI |
#if 0 |
#if 0 |
printf("PARI 2.2.4, copyright (C) 2002 The PARI Group.\n"); |
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 |
printf("PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n"); |
|
printf(" H. Cohen and M. Olivier.\n"); |
|
#endif |
#endif |
|
return ""; |
} |
} |
|
|
|
char *get_intervalversion() |
|
{ |
|
#if defined(INTERVAL) |
|
return " + Interval Arithmetic"; |
|
#else |
|
return ""; |
|
#endif |
|
} |
|
|
|
void copyright() |
|
{ |
|
char *scopyright(); |
|
fputs(scopyright(), stdout); |
|
} |
|
|
|
char *scopyright() |
|
{ |
|
static char *notice; |
|
char *s1, *s2, *s3, *s4; |
|
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-2007, Risa/Asir committers, http://www.openxm.org/.\n%s%s"; |
|
if (!notice) { |
|
s1 = get_intervalversion(); |
|
s2 = get_asir_distribution(); |
|
s3 = get_gcversion(); |
|
s4 = get_pariversion(); |
|
d = get_asir_version(); |
|
len = (strlen(format)-8)+strlen(s1)+strlen(s2)+strlen(s3)+strlen(s4)+sizeof(int)*3; |
|
notice = MALLOC(len+1); |
|
sprintf(notice, format, s1, d, s2, s3, s4); |
|
} |
|
return notice; |
|
} |
|
|
|
#if defined(VISUAL) |
|
void check_intr() |
|
{ |
|
extern int recv_intr; |
|
if ( recv_intr ) { |
|
if ( recv_intr == 1 ) { |
|
recv_intr = 0; |
|
int_handler(0); |
|
} else { |
|
recv_intr = 0; |
|
ox_usr1_handler(0); |
|
} |
|
} |
|
} |
|
#endif |