=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.19 retrieving revision 1.31 diff -u -p -r1.19 -r1.31 --- OpenXM/doc/install.oxweave 2000/01/27 01:13:17 1.19 +++ OpenXM/doc/install.oxweave 2000/04/03 05:59:01 1.31 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.18 2000/01/26 07:48:10 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.30 2000/03/17 03:22:01 takayama Exp $ OpenXM/doc/install.oxweave /*&C @@ -10,12 +10,12 @@ OpenXM package : Getting started. */ /*&jp -¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ +¡ú OpenXM GENERIC ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ ¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. ¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶­¤ò¸æÍ÷¤¯¤À¤µ¤¤. */ /*&eg -***** HOW TO USE OpenXM PACKAGE? +***** HOW TO INSTALL OpenXM GENERIC PACKAGE? In this section, we will explain how to install OpenXM package binary distribution. As to the required environment, see the section "System Requirement" @@ -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 */ @@ -51,32 +53,66 @@ by /xxx/yyy/OpenXM. */ /*&jp -(2) ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, - OpenXM/rc/openxm - ¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. - ¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤Ë¤Ï, OpenXM/bin ¤Î¥Õ¥¡¥¤¥ë¤ò¼Â¹Ô¤¹¤ë¤¿¤á¤Î - ´Ä¶­ÊÑ¿ô¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤Þ¤¹. +(2) OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, + OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, Åù¤Î + ¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. + openxm, asir, oxmath ¤Ê¤É¤Ï OpenXM ¥¯¥é¥¤¥¢¥ó¥È¤òµ¯Æ°¤¹¤ë¤¿¤á¤Î + ¥·¥¨¥ë¥¹¥¯¥ê¥×¥È¤Ç¤¹. ¤³¤ì¤é¤ò /usr/local/bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¤Ë¤Ï + ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. */ /*&eg (2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and - OpenXM/rc/openxm - by the following command. - Environmental variables to execute commands in OpenXM/bin - are defined in these files. + OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... + The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. + If you want to install these shell scripts to /usr/local/bin, + type in as follows. */ /*&C cd /xxx/yyy/OpenXM/rc - make + make install */ /*&jp + + /usr/local/bin ¤Ç¤Ê¤¯, home directory ¤Î bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤¿¤¤ + ¤È¤­¤Ï, ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ¤¯¤À¤µ¤¤. + +*/ +/*&eg + + If you want to install them under the bin of your home directory, + type in as follows. + +*/ +/*&C + + cd /xxx/yyy/OpenXM/rc + make install PREFIX=$HOME/bin + +*/ +/*&C + + [Note] If you are Solaris user, you might have to type in like + /usr/ccs/bin/make install PREFIX=$HOME/bin + +*/ +/*&jp + +OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹Ԥ·¤¿¤¤¾ì¹ç¤Ï, °Ê²¼¤ÎÀßÄ꤬ɬÍפǤ¹. +OpenXM clients ¤ò¼Â¹Ô¤¹¤ë¤À¤±¤Î¾ì¹ç¤Ï, (3), (3') ¤Ï skip ¤·¤Æ¤¯¤À¤µ¤¤. + (3) csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. */ /*&eg + +If you want to execute binaries under OpenXM/bin, you need to perform +(3) and (3'). +If you use only OpenXM clients, skip (3) and (3'). + (3) Append the following line to the end of ~/.cshrc when you are using csh as your shell. @@ -105,25 +141,12 @@ by /xxx/yyy/OpenXM. (3) ¤Þ¤¿¤Ï (3') ¤ò½ªÎ»¤·¤¿¤é, ¤¤¤Ã¤¿¤ó logout ¤·¤Æ login ¤·¤Ê¤ª¤¹¤« ¤Þ¤¿¤Ï, source ¥³¥Þ¥ó¥É¤Ç, dot.bashrc ¤Þ¤¿¤Ï dot.csh ¤òÆɤ߹þ¤ó¤Ç²¼¤µ¤¤. - (3) ¤Þ¤¿¤Ï (3') ¤ò¤ä¤é¤Ê¤¤¤È¤¤¤¦ÁªÂò¤â¤¢¤ê¤Þ¤¹. - ¤³¤Î¾ì¹ç, ¥·¥§¥ë¥¹¥¯¥ê¥×¥È - OpenXM/rc/openxm ¤ò ¥³¥Þ¥ó¥É¥µ¡¼¥Á¥Ñ¥¹¤Ë°Ü¤·, - OpenXM/bin °Ê²¼¤ÎÁ´¤Æ¤Î¥³¥Þ¥ó¥É¤Î¼Â¹Ô¤Ï, - openxm ¥³¥Þ¥ó¥É̾ - ¤È¤¤¤¦·Á¤Ç¸Æ¤Ó½Ð¤·¤Þ¤¹. - ¤¿¤È¤¨¤Ð, openxm asir ¤È¤« openxm sm1 ¤È¤¤¤¦·Á¤Ç¤è¤Ó¤À¤·¤Þ¤¹. */ /*&eg After finishing the step (3) or (3'), logout and login again, or read dot.bashrc or dot.cshrc file by the source command. - You may skip the step (3) or (3'). - In this case, move the shell script OpenXM/rc/openxm to your - command search path. To execute commands in OpenXM/bin, type in - openxm command-name - For example, "openxm asir" starts asir and "openx sm1" starts sm1 - with a proper setting of environmental variables. */ @@ -136,22 +159,149 @@ by /xxx/yyy/OpenXM. asir ¤Îµ¯Æ°»þ¤Î¥á¥Ã¥»¡¼¥¸¤Þ¤¿¤Ï OpenXM/lib/asir/asir_key ¤ò »²¾È¤·¤Æ, key ¤ò¼èÆÀ¤·¤Æ²¼¤µ¤¤ (¿ôÉä·¤«¤«¤«¤ê¤Þ¤»¤ó). + Mail ¤ÎÍøÍѤ¬¤Ç¤­¤Æ, /var/mail ¤Î²¼¤Ë¥á¡¼¥ë¤òÃå¿®¤Ç¤­¤ì¤Ð, + /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 that in OpenXM/lib/asir/asir_key (it takes only a few seconds to get the key). + If you can get your mails under /var/mail, you can automatically set + 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. + */ +/*&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 @@ -229,7 +379,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_* @@ -288,6 +438,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 @@ -307,6 +466,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. + */ @@ -393,8 +561,10 @@ See OpenXM/Copyright. ¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ FreeBSD 2.2.8, FreeBSD 3.3, Linux ¤ÇÆ°ºî¤¹¤ë¤â¤Î¤È´üÂÔ¤·¤Æ¤Þ¤¹. Linux glib6 ¤Ç¤Ï, ¤¤¤Þ¤Î¤È¤³¤í, /usr/include/features.h - ¤Ç #define __FAVOR_BSD 1 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤Þ¤¹. - (setjmp ¤È sigsetjmp ¤ÎÌäÂê, dirty trick) + ¤Ç #define __FAVOR_BSD 1 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤·¤¿¤¬, + °ìÉô¤Î¥½¡¼¥¹¤ò + -D_BSD_SOURCE option ¤ò¤Ä¤±¤Æ gcc ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤è¤¦¤ËÊѤ¨¤Æ¤Þ¤¹ + (setjmp ¤È sigsetjmp ¤ÎÌäÂê, dirty trick). OpenXM, OpenXM_contrib, OpenXM_contrib2 ¤¬É¬ÍפǤ¹. cvs ¥³¥ß¥Ã¥¿¤Î¾ì¹ç¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥½¡¼¥¹¤ò¤È¤ê¤è¤»¤Þ¤¹. @@ -402,10 +572,11 @@ See OpenXM/Copyright. /*&eg * How to make OpenXM package? We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. - On Linux glib6, you need to define + On Linux glib6, we needed to define #define __FAVOR_BSD 1 - in /usr/include/features.h - (setjmp vs sigsetjmp) + in /usr/include/features.h, + but now we are compiling some sources with -D_BSD_SOURCE + (setjmp vs sigsetjmp). Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? If you are a CVS committer, then you can get all sources as follows: @@ -456,6 +627,10 @@ prepare empty shell scripts ptex and nkf. make all-kan96xx ¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. + ¤Þ¤¿¤Ï + OpenXM/src/asir2000 ¤Î Makefile ¤ò Makefile.forSkip ¤ËÃÖ¤­´¹¤¨¤Æ + ²¼¤µ¤¤. + */ /*&eg @@ -464,6 +639,8 @@ prepare empty shell scripts ptex and nkf. compile each modules independently, e.g., make all-kan96xx + Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. + */ /*&jp @@ -524,6 +701,7 @@ OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k rcvs export -rHEAD OpenXM rcvs export -rHEAD OpenXM_contrib rcvs export -rHEAD OpenXM_contrib2 +cd OpenXM/src ; make generate-source-distribution ¤·¤Æ, OpenXM, OpenXM_contrib, OpenXM_contrib2 Á´ÂΤò tar+gzip. */ @@ -547,7 +725,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