| version 1.17, 2001/12/28 06:44:48 |
version 1.19, 2003/03/07 03:12:31 |
|
|
| * 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.16 2001/12/28 06:18:10 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.18 2003/02/14 22:29:18 ohara Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "parse.h" |
#include "parse.h" |
| |
|
| #if PARI |
#if defined(PARI) |
| #include "genpari.h" |
#include "genpari.h" |
| |
|
| /* XXX : environment is defined in libpari.a */ |
/* XXX : environment is defined in libpari.a */ |
| Line 151 main(int argc,char *argv[]) |
|
| Line 151 main(int argc,char *argv[]) |
|
| endian_init(); |
endian_init(); |
| GC_init(); |
GC_init(); |
| process_args(--argc,++argv); |
process_args(--argc,++argv); |
| #if PARI |
#if defined(PARI) |
| risa_pari_init(); |
risa_pari_init(); |
| #endif |
#endif |
| copyright(); |
copyright(); |
| Line 202 main(int argc,char *argv[]) |
|
| Line 202 main(int argc,char *argv[]) |
|
| input_init(stdin,"stdin"); |
input_init(stdin,"stdin"); |
| prompt(); |
prompt(); |
| while ( 1 ) { |
while ( 1 ) { |
| #if PARI |
#if defined(PARI) |
| recover(0); |
recover(0); |
| /* XXX environement is defined in libpari.a */ |
/* XXX environement is defined in libpari.a */ |
| if ( setjmp(environnement) ) { |
if ( setjmp(environnement) ) { |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to main.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / parse