| version 1.35, 2014/05/09 19:35:52 |
version 1.36, 2015/08/04 06:20:45 |
|
|
| * 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.34 2013/12/19 05:48:24 saito Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.35 2014/05/09 19:35:52 ohara Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "parse.h" |
#include "parse.h" |
|
|
| #include <fcntl.h> |
#include <fcntl.h> |
| #endif |
#endif |
| |
|
| #if defined(PARI) |
|
| #include "genpari.h" |
|
| |
|
| /* XXX : environment is defined in libpari.a */ |
|
| # if !(PARI_VERSION_CODE > 131588) |
|
| extern jmp_buf environnement; |
|
| # endif |
|
| #endif |
|
| |
|
| extern JMP_BUF main_env; |
extern JMP_BUF main_env; |
| |
|
| #ifndef ASIRRCNAME |
#ifndef ASIRRCNAME |
| Line 200 main(int argc,char *argv[]) |
|
| Line 191 main(int argc,char *argv[]) |
|
| endian_init(); |
endian_init(); |
| cppname_init(); |
cppname_init(); |
| process_args(--argc,++argv); |
process_args(--argc,++argv); |
| #if defined(PARI) |
|
| risa_pari_init(); |
|
| #endif |
|
| if (!do_quiet) { |
if (!do_quiet) { |
| copyright(); |
copyright(); |
| } |
} |
| Line 240 main(int argc,char *argv[]) |
|
| Line 228 main(int argc,char *argv[]) |
|
| |
|
| prompt(); |
prompt(); |
| while ( 1 ) { |
while ( 1 ) { |
| #if defined(PARI) |
|
| recover(0); |
|
| /* XXX environement is defined in libpari.a */ |
|
| # if !(PARI_VERSION_CODE > 131588) |
|
| if ( setjmp(environnement) ) { |
|
| avma = top; recover(1); |
|
| resetenv(""); |
|
| } |
|
| # endif |
|
| #endif |
|
| if ( SETJMP(main_env) ) |
if ( SETJMP(main_env) ) |
| prompt(); |
prompt(); |
| if ( !do_file ) { |
if ( !do_file ) { |