=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/ctrl.c,v retrieving revision 1.24 retrieving revision 1.42 diff -u -p -r1.24 -r1.42 --- OpenXM_contrib2/asir2000/builtin/ctrl.c 2003/10/20 09:17:52 1.24 +++ OpenXM_contrib2/asir2000/builtin/ctrl.c 2014/05/13 15:02:28 1.42 @@ -45,45 +45,79 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.23 2003/10/19 02:54:41 ohara Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.41 2014/05/12 02:35:35 ohara Exp $ */ #include "ca.h" #include "parse.h" +#include +#if defined(VISUAL) +#include +#else +#include +#include +#include +#include +#endif +static struct { + char *type; + char *kernel; + char *name; + char *arch; + char *release; + char *full; +} sysinfo; + void Pctrl(); +void Psysinfo(LIST *rp); +static void get_sysinfo(); struct ftab ctrl_tab[] = { {"ctrl",Pctrl,-2}, + {"asir_env",Pctrl,-2}, + {"sysinfo", Psysinfo, 0}, {0,0,0}, }; +extern int error_in_timer; extern int prtime,nez,echoback,bigfloat; -extern int GC_free_space_numerator,GC_free_space_divisor,debug_up; +extern int debug_up; 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 f4_nocheck; extern int StrassenSize; extern int outputstyle; extern int fortran_output; extern int real_digit; +extern int real_binary; +extern int allow_laurent; #if defined(INTERVAL) extern int zerorewrite; +extern int Itvplot; #endif extern int double_output; extern int use_new_hensel; 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 { char *key; int *val; } ctrls[] = { + {"error_in_timer",&error_in_timer}, {"cputime",&prtime}, {"nez",&nez}, {"echo",&echoback}, -#if defined(DO_PLOT) +#if defined(PARI) {"bigfloat",&bigfloat}, #endif {"verbose",&Verbose}, @@ -92,8 +126,10 @@ static struct { {"hex",&hex_output}, {"debug_window",&do_server_in_X11}, {"message",&do_message}, + {"terse",&do_terse}, {"debug_up",&debug_up}, {"no_prompt",&do_quiet}, + {"asir_setenv",&asir_setenv}, {"ox_batch",&ox_batch}, {"ox_check",&ox_check}, {"ox_exchange_mathcap",&ox_exchange_mathcap}, @@ -102,12 +138,19 @@ static struct { {"outputstyle",&outputstyle}, {"double_output",&double_output}, {"real_digit",&real_digit}, + {"real_binary",&real_binary}, {"fortran_output",&fortran_output}, {"new_hensel",&use_new_hensel}, {"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) {"zerorewrite",&zerorewrite}, + {"itvplotsize",&Itvplot}, #endif {0,0}, }; @@ -117,11 +160,15 @@ NODE arg; Q *rp; { int t,i,n; + int nm,dv; N num,den; Q c; char *key; char buf[BUFSIZ]; char *str; + STRING s; + NODE node,p; + LIST list; if ( !arg ) { *rp = 0; @@ -131,35 +178,40 @@ Q *rp; if ( !strcmp(key,"adj") ) { /* special treatment is necessary for "adj" */ if ( argc(arg) == 1 ) { - UTON(GC_free_space_divisor,num); - UTON(GC_free_space_numerator,den); + Risa_GC_get_adj(&nm,&dv); + UTON(dv,num); + UTON(nm,den); } else { c = (Q)ARG1(arg); if ( !c ) error("ctrl : adj : invalid argument"); num = NM(c); den = !DN(c)?ONEN:DN(c); - GC_free_space_divisor = BD(num)[0]; - GC_free_space_numerator = BD(den)[0]; + dv = BD(num)[0]; + nm = BD(den)[0]; + Risa_GC_set_adj(nm,dv); } NDTOQ(num,den,1,*rp); return; } else if ( !strcmp(key,"prompt") ) { /* special treatment is necessary for "prompt" */ if ( argc(arg) == 1 ) { - *rp = (Q)user_defined_prompt; + if ((!do_quiet) && (user_defined_prompt == (Obj)0)) *rp=ONE; + else *rp = (Q)user_defined_prompt; } else { c = (Q)ARG1(arg); - if ( !c || OID(c) == O_STR ) { - 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"); - } + 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) ) { @@ -170,6 +222,41 @@ Q *rp; } } 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; } for ( i = 0; ctrls[i].key; i++ ) if ( !strcmp(key,ctrls[i].key) ) @@ -185,3 +272,151 @@ Q *rp; error(buf); } } + +void Psysinfo(LIST *rp) +{ + int i; + NODE n,p; + STRING s[6]; + + 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); + for(i=5,p=NULL; i>=0; i--,p=n) { + MKNODE(n,s[i],p); + } + MKLIST(*rp,n); +} + +#if !defined(VISUAL) +static char *uname(char *option) +{ + char buf[BUFSIZ]; + char *s; + int fd[2], status; + *buf = 0; + if (socketpair(AF_UNIX, SOCK_STREAM, 0, fd) < 0) { + *buf = 0; return ""; + } + if (fork() == 0) { + dup2(fd[1], 1); + execlp("uname", "uname", option, NULL); + } + s = buf; + if( !read(fd[0], s, BUFSIZ-1) || (s = strchr(s, '\n')) ) { + *s = 0; + } + wait(&status); + close(fd[0]); + close(fd[1]); + s = (char *)MALLOC(strlen(buf)+1); + strcpy(s, buf); + return s; +} + +static void get_sysinfo() +{ + static int initialized = 0; + if (initialized) { + return; + } + initialized = 1; + sysinfo.kernel = uname(NULL); +#if defined(__DARWIN__) + sysinfo.type = "macosx"; + sysinfo.name = sysinfo.kernel; +#else + sysinfo.type = "unix"; + sysinfo.name = uname("-o"); // not work on Darwin +#endif + sysinfo.arch = uname("-m"); + sysinfo.release= uname("-r"); + sysinfo.full = uname("-a"); +} + +#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 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; +} + +#endif