version 1.85, 2014/03/30 10:48:16 |
version 1.90, 2015/08/14 13:51:56 |
|
|
* 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.84 2013/11/29 08:21:29 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.89 2015/08/08 14:19:42 fujimoto 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) |
#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) && !defined(__FreeBSD__) |
#include "genpari.h" |
|
#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 |
|
|
#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 146 struct oF oF_TRUE,oF_FALSE; |
|
Line 143 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 228 void asir_terminate(int status) |
|
Line 225 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 285 void sprompt(char *ptr) |
|
Line 290 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 318 static int which(char *prog, char *path, char *buf, si |
|
Line 323 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 373 void process_args(int ac,char **av) |
|
Line 378 void process_args(int ac,char **av) |
|
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 392 void process_args(int ac,char **av) |
|
Line 400 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 400 void process_args(int ac,char **av) |
|
Line 408 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 427 void process_args(int ac,char **av) |
|
Line 432 void process_args(int ac,char **av) |
|
#include <signal.h> |
#include <signal.h> |
|
|
void sig_init() { |
void sig_init() { |
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
signal(SIGINT,int_handler); |
signal(SIGINT,int_handler); |
#else |
#else |
void register_ctrlc_handler(); |
void register_ctrlc_handler(); |
Line 448 void sig_init() { |
|
Line 453 void sig_init() { |
|
signal(SIGILL,ill_handler); |
signal(SIGILL,ill_handler); |
#endif |
#endif |
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
signal(SIGBUS,bus_handler); |
signal(SIGBUS,bus_handler); |
#endif |
#endif |
} |
} |
Line 478 void resetenv(char *s) |
|
Line 483 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 523 void int_handler(int sig) |
|
Line 528 void int_handler(int sig) |
|
caught_intr = 1; |
caught_intr = 1; |
return; |
return; |
} |
} |
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) |
suspend_timer(); |
suspend_timer(); |
#endif |
#endif |
signal(SIGINT,SIG_IGN); |
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 561 void int_handler(int sig) |
|
Line 566 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 587 void int_handler(int sig) |
|
Line 595 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 |
|
} |
} |
} |
} |
} |
resetenv("return to toplevel"); |
resetenv("return to toplevel"); |
Line 613 void int_handler(int sig) |
|
Line 629 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 621 void int_handler(int sig) |
|
Line 640 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) |
Line 656 void ill_handler(int sig) |
|
Line 675 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); |
} |
} |
|
|
Line 709 void error(char *s) |
|
Line 731 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 742 void error(char *s) |
|
Line 767 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 761 void toplevel(char *s) |
|
Line 789 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 801 char *get_gcversion() |
|
Line 829 char *get_gcversion() |
|
|
|
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 845 char *scopyright() |
|
Line 866 char *scopyright() |
|
return notice; |
return notice; |
} |
} |
|
|
#if defined(VISUAL) |
#if defined(VISUAL) || defined(__MINGW32__) |
void check_intr() |
void check_intr() |
{ |
{ |
extern int recv_intr; |
extern int recv_intr; |