===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.19
retrieving revision 1.39
diff -u -p -r1.19 -r1.39
--- OpenXM/doc/install.oxweave	2000/01/27 01:13:17	1.19
+++ OpenXM/doc/install.oxweave	2000/11/30 12:45:13	1.39
@@ -1,23 +1,31 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.18 2000/01/26 07:48:10 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.38 2000/09/25 07:12:41 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 パッケージの利用方法
+★ OpenXM GENERIC パッケージの利用方法
 この節では, OpenXM package binary distribution のインストール法を説明します.
+ソースからインストールする場合は 
+       ★ OpenXM パッケージの Make 法
+を御覧下さい.
 インストールに必要なシステムの仕様については, 動作環境を御覧ください.
 */
 /*&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.
+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
@@ -37,6 +45,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 +61,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.
 
@@ -87,72 +131,208 @@ by /xxx/yyy/OpenXM.
 
 */
 /*&jp
-(3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます.
+(3') bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile
+の最後に加えます.
 
 */
 /*&eg
-(3') Append the following line to the end of  ~/.bashrc when you are
-    using bash as your shell.
+(3') Append the following lines to the end of  ~/.bashrc and ~/.bash_profile
+     respectively when you are using bash as your shell.
 
 */
 /*&C
 
-    source /xxx/yyy/OpenXM/rc/dot.bashrc
+    source /xxx/yyy/OpenXM/rc/dot.bashrc             (.bashrc)
 
+    source ~/.bashrc                                 (.bash_profile)
+
 */
 
 /*&jp
 
  (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.
 
 */
 
 
-//&C 
-//&jp (4) asir の利用には  key が必要です.  
-//&eg (4) You need a key to use asir.  
-//&C  
-/*&jp 
-    asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を
-    参照して, key を取得して下さい (数秒しかかかりません).
+/*&C
 
+          FAQ
+
 */
+/*&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
 
+       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
+   pkg_add に失敗した場合は, /var のサイズを大きくしてやりなおして
+   みて下さい.
+
+   java および linux emulation が実行に必要です.
+   java が, サーチパスのなかにある必要がありますので,
+   たとえば,
+     set path=(/usr/local/jdk1.1.8 $path) 
+     rehash
+   してから, pkg_add して下さい.
+   インストール終了後のメッセージにしたがい, 必要な設定を
+   おこなって下さい.
+
+   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) を実行して下さい.
+
+*/
+/*&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
+   If you fail "pkd_add", increase the size of /var
+
+   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 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).
+
+*/
+/*&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.
+
+   /usr/local の下へインストールしなかった場合は, (2) を実行して下さい.
+
+   libgd のインストールが必要な場合もあります.
+   libgd がインストールしてない場合,
+   http://www.redhat.com/downloads へアクセスし, libgd をインストール
+   して下さい.
+
+*/
+/*&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 do not install under /usr/local, goto (2).       
+       
+
+   You might need to install libgd.
+   If it is not installed in your system, access to
+   http://www.redhat.com/downloads and get libgd.
+*/
+
 /*&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.
+
+**** 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
 
@@ -171,6 +351,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 モジュールでは使用できません.
@@ -187,6 +371,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.
@@ -209,7 +399,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).  
 
@@ -229,7 +419,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 +478,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 +506,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.
+
 */
 
 
@@ -391,23 +599,46 @@ 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)
+  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) 現在では問題ありません. )
 
    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, you need 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
- (setjmp vs sigsetjmp)
+ in /usr/include/features.h,
+ but now we are compiling some sources with -D_BSD_SOURCE
+ (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
@@ -427,7 +658,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 
 より得るのが簡単です.
@@ -438,7 +669,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, 
@@ -448,21 +679,32 @@ prepare empty shell scripts ptex and nkf.
 /*&C
 
 */
+
+/*&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).
+*/
 /*&jp
-  
-  OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを
-  富士通より受ける必要があります),
-  OpenXM/src/Makefile の各モジュール名 たとえば
-   make all-kan96xx
-  などと各モジュール名を指定してコンパイルして下さい.
+システムを動かすには, OpenXM/rc/dot.cshrc または 
+OpenXM/rc/dot.bashrc を source コマンドで
+よみこみ環境変数の値を適切に設定する必要があります.
 
+コマンド
+         cd OpenXM/rc
+         make
+で dot.cshrc および dot.bashrc が生成されます.
+これらのファイルを source コマンドで,
+.cshrc または .bashrc (または .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
+/*&C
 
 */
 
@@ -524,6 +766,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 +790,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