| 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(); |
| } |
} |
| } |
} |