===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.33
retrieving revision 1.38
diff -u -p -r1.33 -r1.38
--- OpenXM/doc/install.oxweave	2000/09/05 08:24:34	1.33
+++ OpenXM/doc/install.oxweave	2000/09/25 07:12:41	1.38
@@ -1,23 +1,31 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.32 2000/04/10 02:29:40 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.37 2000/09/23 07:28:11 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
@@ -123,18 +131,21 @@ If you use only OpenXM clients, skip (3) and (3').
 
 */
 /*&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
@@ -180,6 +191,8 @@ A. Add the following line to .Xdefaults or a file you 
    あとは, 上の (4) へ.
    ここで version は OpenXM の version 番号で, たとえば, 
    2000, 3/20(Mon) 版は  1.1.2
+   pkg_add に失敗した場合は, /var のサイズを大きくしてやりなおして
+   みて下さい.
 
    java および linux emulation が実行に必要です.
    java が, サーチパスのなかにある必要がありますので,
@@ -190,6 +203,16 @@ A. Add the following line to .Xdefaults or a file you 
    インストール終了後のメッセージにしたがい, 必要な設定を
    おこなって下さい.
 
+   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) を実行して下さい.
 
@@ -207,6 +230,7 @@ A. Add the following line to .Xdefaults or a file you 
    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
@@ -214,7 +238,15 @@ A. Add the following line to .Xdefaults or a file you 
      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).
 
@@ -290,6 +322,15 @@ A. Add the following line to .Xdefaults or a file you 
  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
 
@@ -308,8 +349,9 @@ csh を利用している場合, .cshrc で
 set path=(/usr/local/jdk1.1.8/bin $path)
 として, jdk の java, javac をサーチパスにいれます.
 
-jdk の入手先:  FreeBSD  --- package lang の下にあります.
-               Linux    --- 
+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
@@ -328,9 +370,11 @@ PATH=/usr/local/jdk1.1.8/bin:$PATH
 export PATH
 
 
-Where can I get jdk? :  FreeBSD --- jdk is under the package/lang
-                        Linux   --- 
+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.
@@ -353,7 +397,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).  
 
@@ -553,26 +597,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
@@ -592,7 +656,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 
 より得るのが簡単です.
@@ -603,12 +667,40 @@ 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, 
 type in R for the tex error prompt ? or 
 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/rc/dot.cshrc または 
+OpenXM/rc/dot.bashrc を source コマンドで
+よみこみ環境変数の値を適切に設定する必要があります.
+
+コマンド
+         cd OpenXM/rc
+         make
+で dot.cshrc および dot.bashrc が生成されます.
+これらのファイルを source コマンドで,
+.cshrc または .bashrc (または .bash_profile) より読むようにして下さい.
 */
 /*&C