| version 1.18, 2003/03/07 03:12:23 |
version 1.49, 2016/03/31 06:41:20 |
|
|
| * 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/builtin/ctrl.c,v 1.17 2003/02/14 22:29:07 ohara Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.48 2015/08/14 13:51:54 fujimoto Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "parse.h" |
#include "parse.h" |
| |
#include <string.h> |
| |
#if defined(VISUAL) || defined(__MINGW32__) |
| |
#include <windows.h> |
| |
#include <winnls.h> |
| |
#else |
| |
#include <locale.h> |
| |
#include <unistd.h> |
| |
#include <sys/types.h> |
| |
#include <sys/socket.h> |
| |
#include <sys/wait.h> |
| |
#include <sys/utsname.h> |
| |
#endif |
| |
|
| |
static struct { |
| |
char *type; |
| |
char *kernel; |
| |
char *name; |
| |
char *arch; |
| |
char *release; |
| |
char *full; |
| |
char *lang; |
| |
} sysinfo; |
| |
|
| void Pctrl(); |
void Pctrl(); |
| |
void Psysinfo(LIST *rp); |
| |
static void get_sysinfo(); |
| |
|
| struct ftab ctrl_tab[] = { |
struct ftab ctrl_tab[] = { |
| {"ctrl",Pctrl,-2}, |
{"ctrl",Pctrl,-2}, |
| |
{"asir_env",Pctrl,-2}, |
| |
{"sysinfo", Psysinfo, 0}, |
| {0,0,0}, |
{0,0,0}, |
| }; |
}; |
| |
|
| extern int prtime,nez,echoback,bigfloat; |
extern int error_in_timer; |
| extern int GC_free_space_numerator,GC_free_space_divisor,debug_up,no_prompt; |
extern int prtime,nez,echoback,bigfloat,evalef; |
| |
extern int debug_up; |
| extern int GC_max_heap_size,Verbose,hideargs,hex_output,do_server_in_X11; |
extern int GC_max_heap_size,Verbose,hideargs,hex_output,do_server_in_X11; |
| extern int do_message; |
extern int do_message,do_terse; |
| extern int ox_batch,ox_check,ox_exchange_mathcap; |
extern int ox_batch,ox_check,ox_exchange_mathcap; |
| extern int f4_nocheck; |
extern int f4_nocheck; |
| extern int StrassenSize; |
extern int StrassenSize; |
| |
extern int outputstyle; |
| extern int fortran_output; |
extern int fortran_output; |
| extern int real_digit; |
extern int real_digit; |
| |
extern int real_binary; |
| |
extern int allow_laurent; |
| #if defined(INTERVAL) |
#if defined(INTERVAL) |
| extern int zerorewrite; |
extern int zerorewrite; |
| |
extern int Itvplot; |
| #endif |
#endif |
| extern int double_output; |
extern int double_output; |
| extern int use_new_hensel; |
extern int use_new_hensel; |
| extern int print_quote; |
extern int print_quote; |
| |
extern int show_crossref; |
| |
extern Obj user_defined_prompt; |
| |
extern int asir_setenv; |
| |
extern int show_orderspec; |
| |
extern int no_debug_on_error; |
| |
extern int diag_period; |
| |
extern int weight_check; |
| |
extern char **ASIRLOADPATH; |
| |
extern int ASIRLOADPATH_LEN; |
| |
|
| static struct { |
static struct { |
| char *key; |
char *key; |
| int *val; |
int *val; |
| } ctrls[] = { |
} ctrls[] = { |
| |
{"error_in_timer",&error_in_timer}, |
| {"cputime",&prtime}, |
{"cputime",&prtime}, |
| {"nez",&nez}, |
{"nez",&nez}, |
| {"echo",&echoback}, |
{"echo",&echoback}, |
| #if DO_PLOT |
|
| {"bigfloat",&bigfloat}, |
{"bigfloat",&bigfloat}, |
| #endif |
{"evalef",&evalef}, |
| {"verbose",&Verbose}, |
{"verbose",&Verbose}, |
| |
{"quiet_mode",&do_quiet}, |
| {"hideargs",&hideargs}, |
{"hideargs",&hideargs}, |
| {"hex",&hex_output}, |
{"hex",&hex_output}, |
| {"debug_window",&do_server_in_X11}, |
{"debug_window",&do_server_in_X11}, |
| {"message",&do_message}, |
{"message",&do_message}, |
| |
{"terse",&do_terse}, |
| {"debug_up",&debug_up}, |
{"debug_up",&debug_up}, |
| {"no_prompt",&no_prompt}, |
{"no_prompt",&do_quiet}, |
| |
{"asir_setenv",&asir_setenv}, |
| {"ox_batch",&ox_batch}, |
{"ox_batch",&ox_batch}, |
| {"ox_check",&ox_check}, |
{"ox_check",&ox_check}, |
| {"ox_exchange_mathcap",&ox_exchange_mathcap}, |
{"ox_exchange_mathcap",&ox_exchange_mathcap}, |
| {"f4_nocheck",&f4_nocheck}, |
{"f4_nocheck",&f4_nocheck}, |
| {"StrassenSize",&StrassenSize}, |
{"StrassenSize",&StrassenSize}, |
| |
{"outputstyle",&outputstyle}, |
| {"double_output",&double_output}, |
{"double_output",&double_output}, |
| {"real_digit",&real_digit}, |
{"real_digit",&real_digit}, |
| |
{"real_binary",&real_binary}, |
| {"fortran_output",&fortran_output}, |
{"fortran_output",&fortran_output}, |
| {"new_hensel",&use_new_hensel}, |
{"new_hensel",&use_new_hensel}, |
| {"print_quote",&print_quote}, |
{"print_quote",&print_quote}, |
| |
{"show_crossref",&show_crossref}, |
| |
{"allow_laurent",&allow_laurent}, |
| |
{"show_orderspec",&show_orderspec}, |
| |
{"no_debug_on_error",&no_debug_on_error}, |
| |
{"diag_period",&diag_period}, |
| |
{"weight_check",&weight_check}, |
| #if defined(INTERVAL) |
#if defined(INTERVAL) |
| {"zerorewrite",&zerorewrite}, |
{"zerorewrite",&zerorewrite}, |
| |
{"itvplotsize",&Itvplot}, |
| #endif |
#endif |
| {0,0}, |
{0,0}, |
| }; |
}; |
| Line 110 void Pctrl(arg,rp) |
|
| Line 162 void Pctrl(arg,rp) |
|
| NODE arg; |
NODE arg; |
| Q *rp; |
Q *rp; |
| { |
{ |
| int t,i; |
int t,i,n; |
| |
int nm,dv; |
| N num,den; |
N num,den; |
| Q c; |
Q c; |
| char *key; |
char *key; |
| char buf[BUFSIZ]; |
char buf[BUFSIZ]; |
| |
char *str; |
| |
STRING s; |
| |
NODE node,p; |
| |
LIST list; |
| |
extern Q ox_pari_stream; |
| |
extern int ox_pari_stream_initialized; |
| |
|
| if ( !arg ) { |
if ( !arg ) { |
| *rp = 0; |
*rp = 0; |
|
|
| if ( !strcmp(key,"adj") ) { |
if ( !strcmp(key,"adj") ) { |
| /* special treatment is necessary for "adj" */ |
/* special treatment is necessary for "adj" */ |
| if ( argc(arg) == 1 ) { |
if ( argc(arg) == 1 ) { |
| UTON(GC_free_space_divisor,num); |
Risa_GC_get_adj(&nm,&dv); |
| UTON(GC_free_space_numerator,den); |
UTON(dv,num); |
| |
UTON(nm,den); |
| } else { |
} else { |
| c = (Q)ARG1(arg); |
c = (Q)ARG1(arg); |
| if ( !c ) |
if ( !c ) |
| error("ctrl : adj : invalid argument"); |
error("ctrl : adj : invalid argument"); |
| num = NM(c); |
num = NM(c); |
| den = !DN(c)?ONEN:DN(c); |
den = !DN(c)?ONEN:DN(c); |
| GC_free_space_divisor = BD(num)[0]; |
dv = BD(num)[0]; |
| GC_free_space_numerator = BD(den)[0]; |
nm = BD(den)[0]; |
| |
Risa_GC_set_adj(nm,dv); |
| } |
} |
| NDTOQ(num,den,1,*rp); |
NDTOQ(num,den,1,*rp); |
| return; |
return; |
| |
} else if ( !strcmp(key,"prompt") ) { |
| |
/* special treatment is necessary for "prompt" */ |
| |
if ( argc(arg) == 1 ) { |
| |
if ((!do_quiet) && (user_defined_prompt == (Obj)0)) *rp=ONE; |
| |
else *rp = (Q)user_defined_prompt; |
| |
} else { |
| |
c = (Q)ARG1(arg); |
| |
if ( !c ) { |
| |
do_quiet = 1; |
| |
user_defined_prompt = 0; |
| |
*rp = 0; |
| |
} else if ( OID(c) == O_STR ) { |
| |
str = BDY((STRING)c); |
| |
for ( i = 0, n = 0; str[i]; i++ ) |
| |
if ( str[i] == '%' ) |
| |
n++; |
| |
if ( n >= 2 ) |
| |
error("ctrl : prompt : invalid prompt specification"); |
| |
do_quiet = 1; |
| |
user_defined_prompt = (Obj)c; |
| |
*rp = c; |
| |
} else if ( NUM(c) && RATN(c) && UNIQ(c) ) { |
| |
user_defined_prompt = 0; |
| |
do_quiet = 0; |
| |
} else { |
| |
error("ctrl : prompt : invalid argument"); |
| |
} |
| |
} |
| |
return; |
| |
} else if ( !strcmp(key,"loadpath") ) { |
| |
*rp = 0; |
| |
if ( argc(arg) == 1 ) { |
| |
if( ASIRLOADPATH[0] ) { |
| |
for(i=0; ASIRLOADPATH[i]; i++) { |
| |
} |
| |
for(i--,p=NULL; i>=0; i--,p=node) { |
| |
MKSTR(s,ASIRLOADPATH[i]); |
| |
MKNODE(node,s,p); |
| |
} |
| |
MKLIST(list,node); |
| |
*rp = list; |
| |
} |
| |
} else { |
| |
list = (LIST)ARG1(arg); |
| |
if ( OID(list) == O_LIST ) { |
| |
for(i=0,p=BDY(list); p; i++,p=NEXT(p)) { |
| |
s=(STRING)BDY(p); |
| |
if(!s || OID(s)!=O_STR) { |
| |
error("ctrl : loadpath : invalid argument"); |
| |
} |
| |
} |
| |
if(i >= ASIRLOADPATH_LEN) { |
| |
ASIRLOADPATH_LEN = i+1; |
| |
ASIRLOADPATH = (char **)MALLOC(sizeof(char *)*ASIRLOADPATH_LEN); |
| |
} |
| |
for(i=0,p=BDY(list); p; i++,p=NEXT(p)) { |
| |
ASIRLOADPATH[i] = (char *)BDY((STRING)BDY(p)); |
| |
} |
| |
ASIRLOADPATH[i] = NULL; |
| |
}else { |
| |
error("ctrl : loadpath : invalid argument"); |
| |
} |
| |
} |
| |
return; |
| |
} else if ( !strcmp(key,"oxpari_id") ) { |
| |
*rp = 0; |
| |
if ( argc(arg) == 1 ) { |
| |
if(!ox_pari_stream_initialized) { |
| |
t=-1; |
| |
STOQ(t,*rp); |
| |
}else { |
| |
*rp = ox_pari_stream; |
| |
} |
| |
}else { |
| |
c = (Q)ARG1(arg); |
| |
if ( !c || ( NUM(c) && INT(c) && SGN(c)>0 ) ) { |
| |
ox_pari_stream_initialized = 1; |
| |
ox_pari_stream = c; |
| |
*rp = c; |
| |
}else { |
| |
t=-1; |
| |
STOQ(t,*rp); |
| |
} |
| |
} |
| |
return; |
| } |
} |
| for ( i = 0; ctrls[i].key; i++ ) |
for ( i = 0; ctrls[i].key; i++ ) |
| if ( !strcmp(key,ctrls[i].key) ) |
if ( !strcmp(key,ctrls[i].key) ) |
|
|
| error(buf); |
error(buf); |
| } |
} |
| } |
} |
| |
|
| |
void Psysinfo(LIST *rp) |
| |
{ |
| |
int i; |
| |
NODE n,p; |
| |
STRING s[7]; |
| |
|
| |
get_sysinfo(); |
| |
MKSTR(s[0],sysinfo.type); MKSTR(s[1],sysinfo.kernel); MKSTR(s[2],sysinfo.name); |
| |
MKSTR(s[3],sysinfo.arch); MKSTR(s[4],sysinfo.release); MKSTR(s[5],sysinfo.full); |
| |
MKSTR(s[6],sysinfo.lang); |
| |
for(i=6,p=NULL; i>=0; i--,p=n) { |
| |
MKNODE(n,s[i],p); |
| |
} |
| |
MKLIST(*rp,n); |
| |
} |
| |
|
| |
#if !defined(VISUAL) && !defined(__MINGW32__) |
| |
|
| |
static char *get_lang() |
| |
{ |
| |
char *c, *p, *q; |
| |
c = setlocale(LC_ALL, NULL); /* saving current locale */ |
| |
p = setlocale(LC_ALL, ""); |
| |
q = (char *)MALLOC(strlen(p)+1); |
| |
strcpy(q,p); |
| |
setlocale(LC_ALL, c); /* restoring current locale */ |
| |
return q; |
| |
} |
| |
|
| |
static char *myuname(char *option) |
| |
{ |
| |
char buf[BUFSIZ]; |
| |
char *s; |
| |
int fd[2], status, pid; |
| |
*buf = 0; |
| |
if (socketpair(AF_UNIX, SOCK_STREAM, 0, fd) < 0) { |
| |
*buf = 0; return NULL; |
| |
} |
| |
pid = fork(); |
| |
if (pid < 0) { |
| |
return NULL; |
| |
}else if (pid == 0) { |
| |
dup2(fd[1], 1); |
| |
close(2); |
| |
execlp("uname", "uname", option, NULL); |
| |
} |
| |
waitpid(pid, &status, 0); |
| |
if (status) { /* error */ |
| |
return NULL; |
| |
} |
| |
s = buf; |
| |
if( !read(fd[0], s, BUFSIZ-1) || (s = strchr(s, '\n')) ) { |
| |
*s = 0; |
| |
} |
| |
close(fd[0]); |
| |
close(fd[1]); |
| |
s = (char *)MALLOC(strlen(buf)+1); |
| |
strcpy(s, buf); |
| |
return s; |
| |
} |
| |
|
| |
static void get_sysinfo() |
| |
{ |
| |
static struct utsname u; |
| |
static int initialized = 0; |
| |
if (initialized) { |
| |
return; |
| |
} |
| |
initialized = 1; |
| |
uname(&u); |
| |
sysinfo.kernel = u.sysname; |
| |
#if defined(__DARWIN__) |
| |
sysinfo.type = "macosx"; |
| |
sysinfo.name = sysinfo.kernel; |
| |
#else |
| |
sysinfo.type = "unix"; |
| |
sysinfo.name = myuname("-o"); // not work on Darwin |
| |
if (!sysinfo.name) { |
| |
sysinfo.name = sysinfo.kernel; |
| |
} |
| |
#endif |
| |
sysinfo.arch = u.machine; |
| |
sysinfo.release= u.release; |
| |
sysinfo.full = myuname("-a"); |
| |
sysinfo.lang = get_lang(); |
| |
} |
| |
|
| |
#else |
| |
|
| |
/* http://msdn.microsoft.com/ja-jp/library/windows/desktop/ms724834%28v=vs.85%29.aspx */ |
| |
static char *osnameNT(int major, int minor) |
| |
{ |
| |
if ((major == 3 && minor == 51) || (major == 4 && minor == 0)) { |
| |
return "WindowsNT"; |
| |
}else if (major == 5 && minor == 0) { |
| |
return "Windows2000"; |
| |
}else if (major == 5 && minor == 1) { |
| |
return "WindowsXP"; |
| |
}else if (major == 5 && minor == 2) { |
| |
return "Windows2003 Server"; |
| |
}else if (major == 6 && minor == 0) { |
| |
return "WindowsVista"; |
| |
}else if (major == 6 && minor == 1) { |
| |
return "Windows7"; |
| |
}else if (major == 6 && minor == 2) { |
| |
return "Windows8"; |
| |
}else if (major == 6 && minor == 3) { |
| |
return "Windows8.1"; |
| |
} |
| |
return "unknown"; |
| |
} |
| |
|
| |
static char *osname95(int major, int minor) |
| |
{ |
| |
if (major == 4 && minor == 0) { |
| |
return "Windows95"; |
| |
}else if (major == 4 && minor == 10) { |
| |
return "Windows98"; |
| |
}else if (major == 4 && minor == 90) { |
| |
return "WindowsMe"; |
| |
} |
| |
return "unknown"; |
| |
} |
| |
|
| |
static char *get_lang() |
| |
{ |
| |
char lang[BUFSIZ]; |
| |
char *s; |
| |
if(GetLocaleInfo(GetUserDefaultLCID(), LOCALE_SISO639LANGNAME, lang, BUFSIZ)) { |
| |
s = (char *)MALLOC(strlen(lang)+1); |
| |
strcpy(s,lang); |
| |
return s; |
| |
} |
| |
return "en"; // English |
| |
} |
| |
|
| |
static void get_sysinfo() |
| |
{ |
| |
int arch64 = 0; |
| |
char buf[BUFSIZ]; |
| |
OSVERSIONINFO v; |
| |
char *s; |
| |
static int initialized = 0; |
| |
|
| |
if (initialized) { |
| |
return; |
| |
} |
| |
initialized = 1; |
| |
|
| |
v.dwOSVersionInfoSize = sizeof(OSVERSIONINFO); |
| |
GetVersionEx(&v); |
| |
|
| |
sysinfo.type = "windows"; |
| |
sysinfo.arch = "x86"; |
| |
sprintf(buf, "%d.%d.%d", v.dwMajorVersion, v.dwMinorVersion, v.dwBuildNumber); |
| |
s = (char *)MALLOC(strlen(buf)+1); |
| |
strcpy(s, buf); |
| |
sysinfo.release = s; |
| |
|
| |
if (v.dwPlatformId == VER_PLATFORM_WIN32_NT) { |
| |
sysinfo.kernel = "WindowsNT"; |
| |
sysinfo.name = osnameNT(v.dwMajorVersion, v.dwMinorVersion); |
| |
|
| |
#if defined(_WIN64) |
| |
sysinfo.arch = "x86_64"; |
| |
#else |
| |
// IsWow64Process exists on WindowsXP SP2 or later |
| |
if(GetProcAddress(GetModuleHandle("kernel32.dll"), "IsWow64Process")) { |
| |
IsWow64Process(GetCurrentProcess(),&arch64); |
| |
if(arch64) { |
| |
sysinfo.arch = "x86_64"; |
| |
} |
| |
} |
| |
#endif |
| |
}else { /* v.dwPlatformId == VER_PLATFORM_WIN32_WINDOWS */ |
| |
sysinfo.kernel = "Windows95"; |
| |
sysinfo.name = osname95(v.dwMajorVersion, v.dwMinorVersion); |
| |
} |
| |
sprintf(buf, "%s %s %s %s %s", sysinfo.kernel, sysinfo.release, sysinfo.name, v.szCSDVersion, sysinfo.arch); |
| |
s = (char *)MALLOC(strlen(buf)+1); |
| |
strcpy(s, buf); |
| |
sysinfo.full = s; |
| |
sysinfo.lang = get_lang(); |
| |
} |
| |
|
| |
#endif |