| version 1.12, 2001/12/20 08:18:27 |
version 1.15, 2001/12/28 02:17:33 |
|
|
| * 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.11 2001/10/09 01:36:24 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.14 2001/12/27 07:51:17 noro Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "parse.h" |
#include "parse.h" |
|
|
| #if PARI |
#if PARI |
| #include "genpari.h" |
#include "genpari.h" |
| |
|
| |
/* XXX : environment is defined in libpari.a */ |
| extern jmp_buf environnement; |
extern jmp_buf environnement; |
| #endif |
#endif |
| |
|
| extern jmp_buf main_env; |
extern JMP_BUF main_env; |
| |
|
| #if defined(INTERVAL) |
#if defined(INTERVAL) |
| #ifndef ASIRRCNAME |
#ifndef ASIRRCNAME |
| Line 120 main(int argc,char *argv[]) |
|
| Line 121 main(int argc,char *argv[]) |
|
| binname = slash+1; |
binname = slash+1; |
| else |
else |
| binname = argv[0]; |
binname = argv[0]; |
| if ( !strcmp(binname,"ox_asir") ) { |
if ( !strncmp(binname,"ox_asir",strlen("ox_asir")) ) { |
| /* never return */ |
/* never return */ |
| ox_main(argc,argv); |
ox_main(argc,argv); |
| exit(0); |
exit(0); |
| #if DO_PLOT |
#if DO_PLOT |
| } else if ( !strcmp(binname,"ox_plot") ) { |
} else if ( !strncmp(binname,"ox_plot",strlen("ox_plot")) ) { |
| /* never return */ |
/* never return */ |
| ox_plot_main(argc,argv); |
ox_plot_main(argc,argv); |
| exit(0); |
exit(0); |
| #endif |
#endif |
| } else if ( !strcmp(binname,"ox_launch") ) { |
} else if ( !strncmp(binname,"ox_launch",strlen("ox_launch")) ) { |
| /* never return */ |
/* never return */ |
| launch_main(argc,argv); |
launch_main(argc,argv); |
| exit(0); |
exit(0); |
| Line 182 main(int argc,char *argv[]) |
|
| Line 183 main(int argc,char *argv[]) |
|
| |
|
| if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
| input_init(ifp,ifname); |
input_init(ifp,ifname); |
| if ( !setjmp(main_env) ) { |
if ( !SETJMP(main_env) ) { |
| read_exec_file = 1; |
read_exec_file = 1; |
| read_eval_loop(); |
read_eval_loop(); |
| read_exec_file = 0; |
read_exec_file = 0; |
| Line 198 main(int argc,char *argv[]) |
|
| Line 199 main(int argc,char *argv[]) |
|
| while ( 1 ) { |
while ( 1 ) { |
| #if PARI |
#if PARI |
| recover(0); |
recover(0); |
| |
/* XXX environement is defined in libpari.a */ |
| if ( setjmp(environnement) ) { |
if ( setjmp(environnement) ) { |
| avma = top; recover(1); |
avma = top; recover(1); |
| resetenv(""); |
resetenv(""); |
| } |
} |
| #endif |
#endif |
| if ( setjmp(main_env) ) |
if ( SETJMP(main_env) ) |
| prompt(); |
prompt(); |
| read_eval_loop(); |
read_eval_loop(); |
| } |
} |