===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.20
retrieving revision 1.35
diff -u -p -r1.20 -r1.35
--- OpenXM/doc/install.oxweave	2000/02/01 05:18:28	1.20
+++ OpenXM/doc/install.oxweave	2000/09/20 06:05:46	1.35
@@ -1,21 +1,24 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.19 2000/01/27 01:13:17 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.34 2000/09/05 11:57:04 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 のインストール法を説明します.
 インストールに必要なシステムの仕様については, 動作環境を御覧ください.
 */
 /*&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 +40,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 +56,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,53 +144,172 @@ 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.
 
 */
 
 
-//&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
+
+   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
+
+   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.
+
+   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
@@ -171,6 +329,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 +349,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 +377,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 +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_*
@@ -288,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
@@ -307,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.
+
 */
 
 
@@ -451,24 +637,7 @@ prepare empty shell scripts ptex and nkf.
 /*&C
 
 */
-/*&jp
-  
-  OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを
-  富士通より受ける必要があります),
-  OpenXM/src/Makefile の各モジュール名 たとえば
-   make all-kan96xx
-  などと各モジュール名を指定してコンパイルして下さい.
 
-*/
-/*&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 下のファイルの構成メモ]
@@ -527,6 +696,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.
 */
 
@@ -550,7 +720,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