| version 1.33, 2006/09/28 07:43:45 |
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.32 2006/09/26 05:35:26 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(); |
| Line 79 void set_stacksize(); |
|
| Line 82 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 89 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 98 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 |
| Line 182 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 204 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); |
| } |
} |