=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.23 retrieving revision 1.32 diff -u -p -r1.23 -r1.32 --- OpenXM/doc/install.oxweave 2000/03/09 11:30:36 1.23 +++ OpenXM/doc/install.oxweave 2000/04/10 02:29:40 1.32 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.22 2000/02/04 08:46:08 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.31 2000/04/03 05:59:01 takayama Exp $ OpenXM/doc/install.oxweave /*&C @@ -37,6 +37,8 @@ As to the required environment, see the section "Syste */ /*&C + + tar xzvf OpenXM-shared.tgz tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz */ @@ -161,6 +163,10 @@ If you use only OpenXM clients, skip (3) and (3'). /xxx/yyy/OpenXM/rc/fetch_asir_key ¤ò¼Â¹Ô¤¹¤ë¤³¤È¤Ë¤è¤ê asir_key ¤ò¼«Æ°¤ÇÀßÄê¤Ç¤­¤Þ¤¹. + FreeBSD ¤Î package, Redhat Package manager ¤òÍøÍѤ·¤Æ¤¤¤ë + ¾ì¹ç¤Ï, /usr/local/OpenXM/lib/asir/asir_key ¤¬¤¹¤Ç¤Ë¸ºß¤·¤Æ + ¤¤¤ë¾ì¹ç, ¤³¤Î¥Õ¥¡¥¤¥ë¤ÏÊݸ¤µ¤ì¤Þ¤¹. + */ /*&eg Please get the key by following the instruction from asir itself or @@ -171,16 +177,149 @@ If you use only OpenXM clients, skip (3) and (3'). your key by executing /xxx/yyy/OpenXM/rc/fetch_asir_key + If you install the OpenXM package by the pkg_add of FreeBSD or + the redhat package manager, the old key file + /usr/local/OpenXM/lib/asir/asir_key, if exists, is saved. + */ +/*&C + FAQ + +*/ +/*&jp +Q. OpenXM ¤Î asir OpenXM client ¤ò icon ¤Ç¥¹¥¿¡¼¥È¤¹¤ë¤Ë¤Ï? +A. ¼¡¤Î¹Ô¤ò, .Xdefaults ¤Þ¤¿¤Ï, xrdb ¤ÇÆɤ߹þ¤à¥Õ¥¡¥¤¥ë¤Ë½ñ¤¤¤Æ¤ª¤­¤Þ¤¹. +*/ +/*&eg +Q. How to start asir OpenXM clients in the iconic mode? +A. Add the following line to .Xdefaults or a file you read by xrdb. +*/ /*&C + ox_xterm*iconic: on + +*/ +/*&jp + +¡ú OpenXM FreeBSD binary ¥Ñ¥Ã¥±¡¼¥¸¤Î¥¤¥ó¥¹¥È¡¼¥ëÊýË¡ + openxm-version.tgz + ¤ò ftp ¥µ¥¤¥È¤è¤ê copy ¤·¤Æ, + root ¤Ë¤Ê¤Ã¤Æ, + pkg_add openxm-version.tgz + OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. + ¤¢¤È¤Ï, ¾å¤Î (4) ¤Ø. + ¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, + 2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 + + java ¤ª¤è¤Ó linux emulation ¤¬¼Â¹Ô¤ËɬÍפǤ¹. + java ¤¬, ¥µ¡¼¥Á¥Ñ¥¹¤Î¤Ê¤«¤Ë¤¢¤ëɬÍפ¬¤¢¤ê¤Þ¤¹¤Î¤Ç, + ¤¿¤È¤¨¤Ð, + set path=(/usr/local/jdk1.1.8 $path) + rehash + ¤·¤Æ¤«¤é, pkg_add ¤·¤Æ²¼¤µ¤¤. + ¥¤¥ó¥¹¥È¡¼¥ë½ªÎ»¸å¤Î¥á¥Ã¥»¡¼¥¸¤Ë¤·¤¿¤¬¤¤, ɬÍפÊÀßÄê¤ò + ¤ª¤³¤Ê¤Ã¤Æ²¼¤µ¤¤. + + /usr/local ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, + (2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. + +*/ +/*&eg + +***** HOW TO INSTALL OpenXM FreeBSD binary package + Copy + openxm-version.tgz + from our ftp cite. + Become the super user and type + pkg_add openxm-version.tgz + OpenXM will be installed to /usr/local/OpenXM + Go to (4) above. + Here, version is the version number of OpenXM. + For example, the version number of the OpenXM of May 20 (Mon), 2000 + is 1.1.2 + + java and linux emulation are required to run OpenXM packages. + Java needs to be in the search path. So, for example, execute pkg_add + after + set path=(/usr/local/jdk1.1.8 $path) + rehash + Following the message of pkg_add after the installation, + set asir_key and path. + If you do not install under /usr/local, + goto (2). + +*/ +/*&jp + +¡ú OpenXM Redhat Package manager (Linux) + binary ¥Ñ¥Ã¥±¡¼¥¸¤Î¥¤¥ó¥¹¥È¡¼¥ëÊýË¡ + openxm-shared-version-suffix.noarch.rpm + openxm-binary-version-suffix.i386.rpm + ¤ò ftp ¥µ¥¤¥È¤è¤ê copy ¤·¤Æ, + root ¤Ë¤Ê¤Ã¤Æ, + rpm -i openxm-shared-version-suffix.noarch.rpm + rpm -i openxm-binary-version-suffix.i386.rpm + OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. + ¤¢¤È¤Ï, ¾å¤Î (4) ¤Ø. + ¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, + 2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 + suffix ¤Ï, RPM ÈǤΠminor version number. + + Debian ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, ¥³¥Þ¥ó¥É alien ¤Ç, rpm ·Á¼°¤ò deb ·Á¼°¤Ë + ÊÑ´¹¤Ç¤­¤Þ¤¹. + + /usr/local ¤Î²¼¤Ø¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, (2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. + +*/ +/*&eg + +***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux) + Copy + openxm-shared-version-suffix.noarch.rpm + openxm-binary-version-suffix.i386.rpm + from our ftp cite. + Become the super user and type + rpm -i openxm-shared-version-suffix.noarch.rpm + rpm -i openxm-binary-version-suffix.i386.rpm + OpenXM will be installed to /usr/local/OpenXM + Go to (4) above. + Here, version is the version number of OpenXM. + For example, the version number of the OpenXM of May 20 (Mon), 2000 + is 1.1.2 + suffix is the minor version number of the package. + + If you are using debian, please use the command alien to translate + rpm to deb. + + If you do not install under /usr/local, goto (2). + + +*/ + +/*&C + +***** OpenXM client programs under OpenXM/bin or /usr/local/bin: + asir + oxmath + openxm sm1 + +***** OpenXM server programs: + OpenXM/bin/ox_asir + OpenXM/bin/ox_sm1 + OpenXM/bin/ox_math + OpenXM/lib/sm1/bin/ox_sm1_gnuplot + OpenXM/lib/sm1/bin/ox_sm1_phc + OpenXM/lib/sm1/bin/ox_sm1_tigers + OpenXM/lib/java-support/OMproxy.class + ***** QUALITY: - the following modules and functions have still experimental qualities: + Experimental: OpenXM/bin/k0, OpenXM/bin/d0 - OpenXM/bin/ox_math, OpenXM/bin/math2ox - OpenXM/lib/java-support/ * Asir client functions: m_* (Mathematica) , om_* (OpenMath) + OpenXM/lib/java-support/ * + 70% + OpenXM/bin/ox_math, OpenXM/bin/math2ox OpenXM/bin/sm1, ox_sm1 on Linux libc6. */ /*&C @@ -258,7 +397,7 @@ OS package. */ /*&C -(1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x +(1) OpenXM/bin/oxmath : Mathematica Version 3.x or 4.x (Mathematica server) at /usr/local/Mathematica OpenXM/bin/math2ox [ see http://www.wolfram.com ] Asir client functions m_* @@ -317,6 +456,15 @@ The installation is completed. ¤ò¸«¤Æ²¼¤µ¤¤. ps ¤ÎÉÕ¤¯¥Õ¥¡¥¤¥ë¤Ï, ghostview ¤Ç¸«¤ë¤³¤È¤¬¤Ç¤­¤Þ¤¹. + Mathematica client ¤Ë¤Ä¤¤¤Æ¤Ï, OpenXM/doc/ox_math ¤ò¸æÍ÷¤¯¤À¤µ¤¤. + sm1 client ¤Ë¤Ä¤¤¤Æ¤Ï, OpenXM/doc/kan96xx ¤ò¸æÍ÷¤¯¤À¤µ¤¤. + asir ¤Ï, ¿¹à¼°½èÍýÍѤΥ饤¥Ö¥é¥ê¤È¤·¤Æ¥ê¥ó¥¯¤Ç¤­¤Þ¤¹. + ¤³¤ì¤Ë¤Ä¤¤¤Æ¤Ï, OpenXM/doc/oxlib ¤ò¸æÍ÷¤¯¤À¤µ¤¤. + + OpenXM Âбþ¤Î, ¥µ¡¼¥Ð ¤òºîÀ®¤¹¤ë¤Ë¤Ï, OpenXM/src/ox_toolkit + ¤¬»²¹Í¤Ë¤Ê¤ë¤«¤â¤·¤ì¤Þ¤»¤ó. Java ¤Î¥¯¥é¥¹¤Ë¤Ä¤¤¤Æ¤Ï + OpenXM/src/OpenMath ¤¬»²¹Í¤Ë¤Ê¤ë¤«¤â¤·¤ì¤Þ¤»¤ó. + */ /*&eg ***** DOCUMENTS @@ -336,6 +484,15 @@ The installation is completed. Dvi files can be previewed by xdvi and ps files can be previewed by ghostview. + + As to Mathematica client, see OpenXM/doc/ox_math. + As to sm1 client, see OpenXM/doc/kan96xx. + The asir can be used as a C library for polynomial manupulation. + See OpenXM/doc/oxlib. + + If you are interested in writing a server for OpenXM, please refer to + OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. + */ @@ -586,7 +743,20 @@ Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ /usr/ccs/bin must be at the top of the command search path to compile on Solaris. */ +/*&jp +¡ú Redhat Linux 6.1 ¾å¤Ç¤Î¥³¥ó¥Ñ¥¤¥ë +m4-1.4 ¤È autoconf-2.13 ¤¬É¬Í×. +(¤¢¤é¤«¤¸¤á¤Ï¤¤¤Ã¤Æ¤¤¤ë, autoconf ¤Ï 2.12 ¤Ç¤¢¤ê¤³¤ì¤Ï + gnuplot ¤Î make ¤ÇÉÔ¶ñ¹ç¤òÀ¸¤¸¤Þ¤¹.) + +*/ +/*&eg +***** COMPILE ON Redhat Linux 6.1 +m4-1.4 and autoconf-2.13 are required. +(Preinstalled autoconf is version 2.12. It causes a trouble when + you build gnuplot.) +*/ /*&C