version 1.21, 2003/04/02 09:43:33 |
version 1.24, 2004/01/07 06:25:42 |
|
|
* 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/main.c,v 1.20 2003/03/07 06:39:59 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.23 2003/12/23 06:30:14 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 92 main(int argc,char *argv[]) |
|
Line 92 main(int argc,char *argv[]) |
|
extern int read_exec_file; |
extern int read_exec_file; |
extern int do_asirrc; |
extern int do_asirrc; |
extern int do_file; |
extern int do_file; |
|
extern char *do_filename; |
|
extern int asir_setenv; |
extern FILE *in_fp; |
extern FILE *in_fp; |
extern int *StackBottom; |
extern int *StackBottom; |
char *getenv(); |
char *getenv(); |
Line 155 main(int argc,char *argv[]) |
|
Line 157 main(int argc,char *argv[]) |
|
#if defined(PARI) |
#if defined(PARI) |
risa_pari_init(); |
risa_pari_init(); |
#endif |
#endif |
copyright(); |
if (!do_quiet) { |
|
copyright(); |
|
} |
output_init(); |
output_init(); |
arf_init(); |
arf_init(); |
nglob_init(); |
nglob_init(); |
Line 188 main(int argc,char *argv[]) |
|
Line 192 main(int argc,char *argv[]) |
|
} |
} |
|
|
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
input_init(ifp,ifname); |
if (!asir_setenv) { |
|
input_init(ifp,ifname); |
|
}else { |
|
asir_infile=NULL; |
|
loadasirfile(ifname); |
|
} |
if ( !SETJMP(main_env) ) { |
if ( !SETJMP(main_env) ) { |
read_exec_file = 1; |
read_exec_file = 1; |
read_eval_loop(); |
read_eval_loop(); |
Line 197 main(int argc,char *argv[]) |
|
Line 206 main(int argc,char *argv[]) |
|
fclose(ifp); |
fclose(ifp); |
} |
} |
|
|
if ( do_file ) |
if ( do_file ) { |
input_init(in_fp,"stdin"); |
if (!asir_setenv) { |
else |
input_init(in_fp,"stdin"); |
|
}else { |
|
asir_infile=NULL; |
|
loadasirfile(do_filename); |
|
} |
|
}else |
input_init(stdin,"stdin"); |
input_init(stdin,"stdin"); |
prompt(); |
prompt(); |
while ( 1 ) { |
while ( 1 ) { |
Line 213 main(int argc,char *argv[]) |
|
Line 227 main(int argc,char *argv[]) |
|
#endif |
#endif |
if ( SETJMP(main_env) ) |
if ( SETJMP(main_env) ) |
prompt(); |
prompt(); |
|
restore_handler(); |
read_eval_loop(); |
read_eval_loop(); |
} |
} |
} |
} |