version 1.28, 2006/02/08 02:11:19 |
version 1.35, 2014/05/09 19:35:52 |
|
|
* 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.27 2004/06/15 00:56:52 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/main.c,v 1.34 2013/12/19 05:48:24 saito Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
|
#include <stdlib.h> |
|
#if defined(VISUAL) |
|
#include <io.h> |
|
#define R_OK 4 |
|
#else |
|
#include <unistd.h> |
|
#include <fcntl.h> |
|
#endif |
|
|
#if defined(PARI) |
#if defined(PARI) |
#include "genpari.h" |
#include "genpari.h" |
|
|
Line 61 extern jmp_buf environnement; |
|
Line 70 extern jmp_buf environnement; |
|
|
|
extern JMP_BUF main_env; |
extern JMP_BUF main_env; |
|
|
#if defined(INTERVAL) |
|
#ifndef ASIRRCNAME |
#ifndef ASIRRCNAME |
#define ASIRRCNAME "int_asirrc" |
|
#endif |
|
#else |
|
#ifndef ASIRRCNAME |
|
#define ASIRRCNAME "asirrc" |
#define ASIRRCNAME "asirrc" |
#endif |
#endif |
#endif |
|
|
|
|
|
double get_current_time(); |
double get_current_time(); |
void init_socket(); |
void init_socket(); |
void recover(); |
void recover(); |
|
void set_stacksize(); |
|
|
extern int mpi_nprocs,mpi_myid; |
extern int mpi_nprocs,mpi_myid; |
|
|
|
char *find_asirrc() |
|
{ |
|
static char name[BUFSIZ]; |
|
char dir[BUFSIZ]; |
|
char *env,*env2; |
|
|
|
/* if ASIR_CONFIG is set, execute it; else execute .asirrc */ |
|
env = getenv("ASIR_CONFIG"); |
|
if( env && !access(env, R_OK) ) { |
|
strcpy(name,env); |
|
return name; |
|
} |
|
env = getenv("HOME"); |
|
if ( env ) { |
|
sprintf(name, "%s/.asirrc", env); |
|
if (!access(name, R_OK)) { |
|
return name; |
|
} |
|
} |
|
#if defined(VISUAL) |
|
env = getenv("HOMEDRIVE"); |
|
env2 = getenv("HOMEPATH"); |
|
if ( env && env2 ) { |
|
sprintf(name, "%s%s/.asirrc", env, env2); |
|
if (!access(name, R_OK)) { |
|
return name; |
|
} |
|
} |
|
env = getenv("APPDATA"); |
|
if ( env ) { |
|
sprintf(name, "%s/OpenXM/.asirrc", env); |
|
if (!access(name, R_OK)) { |
|
return name; |
|
} |
|
} |
|
get_rootdir(dir, BUFSIZ); |
|
sprintf(name, "%s/.asirrc", dir); |
|
if (!access(name, R_OK)) { |
|
return name; |
|
} |
|
#endif |
|
return NULL; |
|
} |
|
|
#if defined(VISUAL_LIB) |
#if defined(VISUAL_LIB) |
void Main(int argc,char *argv[]) |
void Main(int argc,char *argv[]) |
#else |
#else |
Line 88 main(int argc,char *argv[]) |
|
Line 136 main(int argc,char *argv[]) |
|
#endif |
#endif |
{ |
{ |
int tmp; |
int tmp; |
FILE *ifp; |
char *ifname; |
char ifname[BUFSIZ]; |
|
extern int GC_dont_gc; |
extern int GC_dont_gc; |
extern int do_asirrc; |
extern int do_asirrc; |
extern int do_file; |
extern int do_file; |
Line 97 main(int argc,char *argv[]) |
|
Line 144 main(int argc,char *argv[]) |
|
extern int asir_setenv; |
extern int asir_setenv; |
extern FILE *in_fp; |
extern FILE *in_fp; |
extern int *StackBottom; |
extern int *StackBottom; |
char *getenv(); |
|
char *homedir; |
|
char *ptr; |
|
#if !defined(VISUAL) |
#if !defined(VISUAL) |
char *slash,*bslash,*binname,*p; |
char *slash,*bslash,*binname,*p; |
#endif |
#endif |
|
|
|
set_stacksize(); |
StackBottom = &tmp; |
StackBottom = &tmp; |
GC_init(); |
GC_init(); |
#if defined(MPI) |
#if defined(MPI) |
Line 180 main(int argc,char *argv[]) |
|
Line 225 main(int argc,char *argv[]) |
|
reg_sysf(); |
reg_sysf(); |
#endif |
#endif |
|
|
/* if ASIR_CONFIG is set, execute it; else execute .asirrc */ |
|
if ( ptr = getenv("ASIR_CONFIG") ) |
|
strcpy(ifname,ptr); |
|
else { |
|
homedir = getenv("HOME"); |
|
if ( !homedir ) { |
|
char rootname[BUFSIZ]; |
|
|
|
get_rootdir(rootname,sizeof(rootname)); |
|
homedir = rootname; |
|
} |
|
sprintf(ifname,"%s/." ASIRRCNAME,homedir); |
|
} |
|
|
|
if ( do_file ) { |
if ( do_file ) { |
asir_infile=NULL; |
asir_infile=NULL; |
loadasirfile(do_filename); |
loadasirfile(do_filename); |
Line 202 main(int argc,char *argv[]) |
|
Line 233 main(int argc,char *argv[]) |
|
input_init(stdin,"stdin"); |
input_init(stdin,"stdin"); |
} |
} |
|
|
if ( do_asirrc && (ifp = fopen(ifname,"r")) ) { |
if ( do_asirrc && (ifname = find_asirrc()) ) { |
fclose(ifp); |
|
if ( !SETJMP(main_env) ) |
if ( !SETJMP(main_env) ) |
execasirfile(ifname); |
execasirfile(ifname); |
} |
} |
Line 222 main(int argc,char *argv[]) |
|
Line 252 main(int argc,char *argv[]) |
|
#endif |
#endif |
if ( SETJMP(main_env) ) |
if ( SETJMP(main_env) ) |
prompt(); |
prompt(); |
if ( SETJMP(asir_infile->jmpbuf) ) |
if ( !do_file ) { |
prompt(); |
if ( SETJMP(asir_infile->jmpbuf) ) |
else |
prompt(); |
asir_infile->ready_for_longjmp = 1; |
else |
|
asir_infile->ready_for_longjmp = 1; |
|
} |
restore_handler(); |
restore_handler(); |
read_eval_loop(); |
read_eval_loop(); |
} |
} |
Line 237 main(int argc,char *argv[]) |
|
Line 269 main(int argc,char *argv[]) |
|
void set_error(int code,char *reason,char *action) |
void set_error(int code,char *reason,char *action) |
{} |
{} |
#endif |
#endif |
|
|
|
void set_stacksize() |
|
{ |
|
#if !defined(VISUAL) |
|
struct rlimit rlim; |
|
int c,m; |
|
|
|
getrlimit(RLIMIT_STACK,&rlim); |
|
if ( rlim.rlim_cur < (1<<26) ) { |
|
rlim.rlim_cur = MIN(1<<26,rlim.rlim_max); |
|
setrlimit(RLIMIT_STACK,&rlim); |
|
} |
|
#endif |
|
} |