=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.30 retrieving revision 1.37 diff -u -p -r1.30 -r1.37 --- OpenXM/doc/install.oxweave 2000/03/17 03:22:01 1.30 +++ OpenXM/doc/install.oxweave 2000/09/23 07:28:11 1.37 @@ -1,23 +1,31 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.29 2000/03/16 11:37:19 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.36 2000/09/21 08:06:39 takayama Exp $ OpenXM/doc/install.oxweave /*&C OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM + http://www.openxm.org Consult firstly the ERRATA section for your release on this web cite for troubles. OpenXM package : Getting started. +This document is for OpenXM version 1.1.3. (Draft) + */ /*&jp ¡ú OpenXM GENERIC ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ ¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. +¥½¡¼¥¹¤«¤é¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¾ì¹ç¤Ï + ¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ +¤ò¸æÍ÷²¼¤µ¤¤. ¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶­¤ò¸æÍ÷¤¯¤À¤µ¤¤. */ /*&eg ***** HOW TO INSTALL OpenXM GENERIC PACKAGE? In this section, we will explain how to install OpenXM package binary distribution. +If you build from the source, see the section + * How to make OpenXM package? As to the required environment, see the section "System Requirement" */ /*&jp @@ -151,36 +159,23 @@ If you use only OpenXM clients, skip (3) and (3'). */ -//&C -//&jp (4) asir ¤ÎÍøÍÑ¤Ë¤Ï key ¤¬É¬ÍפǤ¹. -//&eg (4) You need a key to use asir. -//&C -/*&jp - asir ¤Îµ¯Æ°»þ¤Î¥á¥Ã¥»¡¼¥¸¤Þ¤¿¤Ï OpenXM/lib/asir/asir_key ¤ò - »²¾È¤·¤Æ, key ¤ò¼èÆÀ¤·¤Æ²¼¤µ¤¤ (¿ôÉä·¤«¤«¤«¤ê¤Þ¤»¤ó). +/*&C - Mail ¤ÎÍøÍѤ¬¤Ç¤­¤Æ, /var/mail ¤Î²¼¤Ë¥á¡¼¥ë¤òÃå¿®¤Ç¤­¤ì¤Ð, - /xxx/yyy/OpenXM/rc/fetch_asir_key - ¤ò¼Â¹Ô¤¹¤ë¤³¤È¤Ë¤è¤ê asir_key ¤ò¼«Æ°¤ÇÀßÄê¤Ç¤­¤Þ¤¹. + FAQ - FreeBSD ¤Î package, Redhat Package manager ¤òÍøÍѤ·¤Æ¤¤¤ë - ¾ì¹ç¤Ï, /usr/local/OpenXM/lib/asir/asir_key ¤¬¤¹¤Ç¤Ë¸ºß¤·¤Æ - ¤¤¤ë¾ì¹ç, ¤³¤Î¥Õ¥¡¥¤¥ë¤ÏÊݸ¤µ¤ì¤Þ¤¹. - */ +/*&jp +Q. OpenXM ¤Î asir OpenXM client ¤ò icon ¤Ç¥¹¥¿¡¼¥È¤¹¤ë¤Ë¤Ï? +A. ¼¡¤Î¹Ô¤ò, .Xdefaults ¤Þ¤¿¤Ï, xrdb ¤ÇÆɤ߹þ¤à¥Õ¥¡¥¤¥ë¤Ë½ñ¤¤¤Æ¤ª¤­¤Þ¤¹. +*/ /*&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). +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 - If you can get your mails under /var/mail, you can automatically set - your key by executing - /xxx/yyy/OpenXM/rc/fetch_asir_key + ox_xterm*iconic: on - 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 @@ -203,6 +198,16 @@ If you use only OpenXM clients, skip (3) and (3'). ¥¤¥ó¥¹¥È¡¼¥ë½ªÎ»¸å¤Î¥á¥Ã¥»¡¼¥¸¤Ë¤·¤¿¤¬¤¤, ɬÍפÊÀßÄê¤ò ¤ª¤³¤Ê¤Ã¤Æ²¼¤µ¤¤. + jdk ¤Ï /usr/ports/lang/jdk ¤è¤ê¥¤¥ó¥¹¥È¡¼¥ë¤Ç¤­¤Þ¤¹. + Linux emulation ¤òÍ­¸ú¤Ë¤¹¤ë¤Ë¤Ï, + /etc/rc.conf ¤Ë + linux_enable="YES" + ¤È½ñ¤­, + /usr/ports/emulators/linux_base ¤òÍѤ¤¤Æ, linux ÍѤζ¦Í­¥é¥¤¥Ö¥é¥êÅù¤ò + ¥¤¥ó¥¹¥È¡¼¥ë¤·¤Æ¤ª¤­¤Þ¤¹. + (FreeBSD 3.x, 4.x) + + /usr/local ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, (2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. @@ -227,7 +232,15 @@ If you use only OpenXM clients, skip (3) and (3'). set path=(/usr/local/jdk1.1.8 $path) rehash Following the message of pkg_add after the installation, - set asir_key and path. + set path. + + jdk can be installed by /usr/ports/lang/jdk. + Add the line + linux_enable="YES" + to /etc/rc.conf and install shared libraries for linux + by /usr/ports/emulators/linux_base. + Then, you can emulate linux. + If you do not install under /usr/local, goto (2). @@ -303,6 +316,15 @@ If you use only OpenXM clients, skip (3) and (3'). 70% OpenXM/bin/ox_math, OpenXM/bin/math2ox OpenXM/bin/sm1, ox_sm1 on Linux libc6. + +**** OpenXM server and client programs (under development) + included only in the source distribution + OpenXM/src/Macaulay2 ( M2 server and client ) + OpenXM/src/ruby ( Ruby client) + +**** Utilities + OpenXM/doc/oxlib ( how to link oxservers as libraries ) + */ /*&C @@ -321,6 +343,10 @@ csh ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, .cshrc ¤Ç set path=(/usr/local/jdk1.1.8/bin $path) ¤È¤·¤Æ, jdk ¤Î java, javac ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¤¤¤ì¤Þ¤¹. +jdk ¤ÎÆþ¼êÀè: FreeBSD --- /usr/ports/java/jdk ¤ò¸«¤Æ¤¯¤À¤µ¤¤. + Linux --- http://java.sun.com/products/jdk/1.2/ja + http://java.sun.com/j2se/1.3/ja + Ãí°Õ: ¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ­¤Þ¤»¤ó. @@ -337,6 +363,12 @@ Bash users put the following line to .bashrc PATH=/usr/local/jdk1.1.8/bin:$PATH export PATH + +Where can I get jdk? : FreeBSD --- see /usr/ports/java/jdk + Linux --- http://java.sun.com/products/jdk/1.2/ja + http://java.sun.com/j2se/1.3/ja + + Remark: The Java interpreter of Kaffe 1.0.b4 does not contain the method toByteArray in the class BigInteger. @@ -359,7 +391,7 @@ So, it cannot be used for the OpenMath module. */ /*&C -OS: FreeBSD 3.3 (Intel CPU), +OS: FreeBSD 3.3, 3.4, 4.x (Intel CPU), Linux systems (Intel CPU): Most Linux with libc5 and with libc6 (glibc 2.x). @@ -559,26 +591,46 @@ See OpenXM/Copyright. ¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ - FreeBSD 2.2.8, FreeBSD 3.3, Linux ¤ÇÆ°ºî¤¹¤ë¤â¤Î¤È´üÂÔ¤·¤Æ¤Þ¤¹. - Linux glib6 ¤Ç¤Ï, ¤¤¤Þ¤Î¤È¤³¤í, /usr/include/features.h - ¤Ç #define __FAVOR_BSD 1 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤·¤¿¤¬, + FreeBSD 3.x, FreeBSD 4.x, Linux ¤ÇÆ°ºî¤¹¤ë¤â¤Î¤È´üÂÔ¤·¤Æ¤Þ¤¹. + (Linux glib6 ¤Ç¤Ï, ¤¤¤Þ¤Î¤È¤³¤í, /usr/include/features.h + ¤Ç #define __FAVOR_BSD 1 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤·¤¿¤¬, °ìÉô¤Î¥½¡¼¥¹¤ò -D_BSD_SOURCE option ¤ò¤Ä¤±¤Æ gcc ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤è¤¦¤ËÊѤ¨¤Æ¤Þ¤¹ - (setjmp ¤È sigsetjmp ¤ÎÌäÂê, dirty trick). + (setjmp ¤È sigsetjmp ¤ÎÌäÂê, dirty trick) ¸½ºß¤Ç¤ÏÌäÂꤢ¤ê¤Þ¤»¤ó. ) OpenXM, OpenXM_contrib, OpenXM_contrib2 ¤¬É¬ÍפǤ¹. + ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 ¤è¤ê + openxm-1.1.3.tar.gz + ¤ò get ¤·¤ÆŸ³«¤·¤Æ²¼¤µ¤¤. + tar xzvf openxm-1.1.3.tar.gz + + openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib + openxm-1.1.3/OpenXM_contrib2 + ¤¬À¸À®¤µ¤ì¤Þ¤¹. + cvs ¥³¥ß¥Ã¥¿¤Î¾ì¹ç¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥½¡¼¥¹¤ò¤È¤ê¤è¤»¤Þ¤¹. */ /*&eg * How to make OpenXM package? - We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. - On Linux glib6, we needed to define + We have tested the OpenXM package on FreeBSD 3.x, FreeBSD 4.x, Linux. + (On Linux glib6, we needed to define #define __FAVOR_BSD 1 in /usr/include/features.h, but now we are compiling some sources with -D_BSD_SOURCE - (setjmp vs sigsetjmp). + (setjmp vs sigsetjmp). So, you do not need to make this change.) Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? + get + openxm-1.1.3.tar.gz + from ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 + Expand it by + tar xzvf openxm-1.1.3.tar.gz + + Then, you will get + openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib + openxm-1.1.3/OpenXM_contrib2 + + If you are a CVS committer, then you can get all sources as follows: */ //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 @@ -598,7 +650,7 @@ OpenXM/src/OpenMath ¤Î¥³¥ó¥Ñ¥¤¥ë¤ª¤è¤ÓÍøÍÑ¤Ë¤Ï ¤Ë¤Ï, jdk (java ´Ä¶­) ¤¬É¬ÍפǤ¹. Documents ¤òÀ¸À®¤¹¤ë¤Ë¤Ï, tex, ptex (ascii ÆüËܸì tex), dvips, texinfo, -texi2html, nkf, +texi2html, nkf, jlatex2html ¤¬É¬ÍפǤ¹. ¾Ü¤·¤¯¤Ï Makefiles ¤ò¸«¤Æ²¼¤µ¤¤. Document ¤Ï, binary distribution ¤Î OpenXM/doc, OpenXM/lib ¤è¤êÆÀ¤ë¤Î¤¬´Êñ¤Ç¤¹. @@ -609,7 +661,7 @@ you need jdk (java environment). In order to generate the full documentation including Japanese documents, you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html, -nkf. See each Makefile. +nkf, jlatex2html. See each Makefile. The generated documents are in OpenXM/doc and OpenXM/lib in the binary distribution. If you do not like to install Japanese environment such as ptex, @@ -619,27 +671,32 @@ prepare empty shell scripts ptex and nkf. /*&C */ -/*&jp - - OpenXM_contrib2/asir2000 ¤ÎÇÛÉÛ¤ò¼õ¤±¤Æ¤Ê¤¤¾ì¹ç (¥½¡¼¥¹¥é¥¤¥»¥ó¥¹¤ò - ÉÙ»ÎÄ̤è¤ê¼õ¤±¤ëɬÍפ¬¤¢¤ê¤Þ¤¹), - OpenXM/src/Makefile ¤Î³Æ¥â¥¸¥å¡¼¥ë̾ ¤¿¤È¤¨¤Ð - make all-kan96xx - ¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. - ¤Þ¤¿¤Ï - OpenXM/src/asir2000 ¤Î Makefile ¤ò Makefile.forSkip ¤ËÃÖ¤­´¹¤¨¤Æ - ²¼¤µ¤¤. +/*&eg +To run the system, you need to read OpenXM/rc/dot.cshrc or +OpenXM/rc/dot.bashrc by the source +command for setting proper environmental variable values. +By the commands + cd OpenXM/rc + make +you can generate dot.cshrc and dot.bashrc. +Read these file by the source command in your .cshrc +or .bashrc (or .bash_profile). */ -/*&eg - - If you cannot get a source liscence of OpenXM_contrib2/asir2000 - from Fujitsu labs, - compile each modules independently, e.g., - make all-kan96xx +/*&jp +¥·¥¹¥Æ¥à¤òÆ°¤«¤¹¤Ë¤Ï, OpenXM/rc/dot.cshrc ¤Þ¤¿¤Ï +OpenXM/rc/dot.bashrc ¤ò source ¥³¥Þ¥ó¥É¤Ç +¤è¤ß¤³¤ß´Ä¶­ÊÑ¿ô¤ÎÃͤòŬÀÚ¤ËÀßÄꤹ¤ëɬÍפ¬¤¢¤ê¤Þ¤¹. - Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. +¥³¥Þ¥ó¥É + cd OpenXM/rc + make +¤Ç dot.cshrc ¤ª¤è¤Ó dot.bashrc ¤¬À¸À®¤µ¤ì¤Þ¤¹. +¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤ò source ¥³¥Þ¥ó¥É¤Ç, +.cshrc ¤Þ¤¿¤Ï .bashrc (¤Þ¤¿¤Ï .bash_profile) ¤è¤êÆɤà¤è¤¦¤Ë¤·¤Æ²¼¤µ¤¤. +*/ +/*&C */ @@ -725,7 +782,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