version 1.7, 2000/12/01 08:48:01 |
version 1.10, 2001/08/20 09:03:28 |
|
|
* 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.6 2000/11/14 08:38:40 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.9 2000/12/22 10:03:32 saito Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
#if defined(THINK_C) |
|
#include <console.h> |
|
#endif |
|
|
|
#if PARI |
#if PARI |
#include "genpari.h" |
#include "genpari.h" |
|
|
extern jmp_buf environnement; |
extern jmp_buf environnement; |
#endif |
#endif |
|
|
extern jmp_buf env; |
extern jmp_buf main_env; |
|
|
|
#if defined(INTERVAL) |
|
#ifndef ASIRRCNAME |
|
#define ASIRRCNAME "int_asirrc" |
|
#endif |
|
#else |
|
#ifndef ASIRRCNAME |
|
#define ASIRRCNAME "asirrc" |
|
#endif |
|
#endif |
|
|
|
|
double get_current_time(); |
double get_current_time(); |
extern int mpi_nprocs,mpi_myid; |
extern int mpi_nprocs,mpi_myid; |
|
|
|
|
srandom((int)get_current_time()); |
srandom((int)get_current_time()); |
/* mt_sgenrand((unsigned long)get_current_time()); */ |
/* mt_sgenrand((unsigned long)get_current_time()); */ |
|
|
#if defined(THINK_C) |
|
param_init(); |
|
#endif |
|
rtime_init(); |
rtime_init(); |
env_init(); |
env_init(); |
endian_init(); |
endian_init(); |
#if 0 && !defined(VISUAL) && !defined(THINK_C) |
|
check_key(); |
|
#endif |
|
GC_init(); |
GC_init(); |
process_args(--argc,++argv); |
process_args(--argc,++argv); |
#if PARI |
#if PARI |
|
|
if ( ptr = getenv("ASIR_CONFIG") ) |
if ( ptr = getenv("ASIR_CONFIG") ) |
strcpy(ifname,ptr); |
strcpy(ifname,ptr); |
else { |
else { |
#if defined(THINK_C) |
|
sprintf(ifname,"asirrc"); |
|
#else |
|
homedir = getenv("HOME"); |
homedir = getenv("HOME"); |
if ( !homedir ) { |
if ( !homedir ) { |
char rootname[BUFSIZ]; |
char rootname[BUFSIZ]; |
|
|
get_rootdir(rootname,sizeof(rootname)); |
get_rootdir(rootname,sizeof(rootname)); |
homedir = rootname; |
homedir = rootname; |
} |
} |
sprintf(ifname,"%s/.asirrc",homedir); |
sprintf(ifname,"%s/." ASIRRCNAME,homedir); |
#endif |
|
} |
} |
|
|
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
input_init(ifp,ifname); |
input_init(ifp,ifname); |
if ( !setjmp(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; |
|
|
resetenv(""); |
resetenv(""); |
} |
} |
#endif |
#endif |
if ( setjmp(env) ) |
if ( setjmp(main_env) ) |
prompt(); |
prompt(); |
read_eval_loop(); |
read_eval_loop(); |
} |
} |