=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/main.c,v retrieving revision 1.35 retrieving revision 1.36 diff -u -p -r1.35 -r1.36 --- OpenXM_contrib2/asir2000/parse/main.c 2014/05/09 19:35:52 1.35 +++ OpenXM_contrib2/asir2000/parse/main.c 2015/08/04 06:20:45 1.36 @@ -45,7 +45,7 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * 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 "parse.h" @@ -59,15 +59,6 @@ #include #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; #ifndef ASIRRCNAME @@ -200,9 +191,6 @@ main(int argc,char *argv[]) endian_init(); cppname_init(); process_args(--argc,++argv); -#if defined(PARI) - risa_pari_init(); -#endif if (!do_quiet) { copyright(); } @@ -240,16 +228,6 @@ main(int argc,char *argv[]) prompt(); 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) ) prompt(); if ( !do_file ) {