===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.40
retrieving revision 1.43
diff -u -p -r1.40 -r1.43
--- OpenXM/doc/install.oxweave 2000/12/01 02:27:31 1.40
+++ OpenXM/doc/install.oxweave 2001/12/20 04:52:07 1.43
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.39 2000/11/30 12:45:13 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.42 2001/12/20 03:44:10 takayama Exp $
OpenXM/doc/install.oxweave
/*&C
@@ -11,6 +11,21 @@ OpenXM package : Getting started.
This document is for OpenXM version 1.1.3. (Draft)
+
+----------- An instruction for a quick installation -----------------
+(cd OpenXM/src ; make configure ; make install)
+ You will get binaries, libraries, and documents under
+ OpenXM/bin, OpenXM/lib, OpenXM/doc
+(cd OpenXM/rc ; make install)
+ Shell scripts to start "asir", "sm1", ... will be copied to
+ /usr/local/bin
+
+*********** If you need only asir and kan/(sm1, k0),
+(cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib)
+ You will get only asir (OpenXM version) and kan/sm1.
+(cd OpenXM/rc ; make install)
+-------------------------------------------------------------------
+
*/
/*&jp
★ OpenXM GENERIC パッケージの利用方法
@@ -187,6 +202,11 @@ A. Add the following line to .Xdefaults or a file you
ox_xterm*iconic: on
*/
+/*&C
+
+-------------------------------------------------------------
+
+*/
/*&jp
★ OpenXM FreeBSD binary パッケージのインストール方法
@@ -309,6 +329,12 @@ A. Add the following line to .Xdefaults or a file you
/*&C
+---------------------------------------------------------
+
+*/
+
+/*&C
+
***** OpenXM client programs under OpenXM/bin or /usr/local/bin:
asir
oxmath
@@ -392,9 +418,9 @@ So, it cannot be used for the OpenMath module.
/*&C
+--------------------------------------------------------
-
*/
/*&jp
★ 動作環境
@@ -468,6 +494,12 @@ The installation is completed.
*/
+/*&C
+
+-----------------------------------------------------
+
+*/
+
/*&jp
★ 文書
@@ -595,6 +627,10 @@ OpenXM/Copyright を御覧ください.
See OpenXM/Copyright.
*/
+//&C
+//&C ----------------------------------------------
+//&C
+
/*&eg
@@ -715,6 +751,91 @@ OpenXM/rc/dot.bashrc を source コマンドで
*/
+//&C ---------------------------------------------------------
+
+/*&eg
+***** How to generate a subset of the full OpenXM package
+ from the head branch.
+ * The souce tarball of the head branch is at
+ ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz
+ Get this tarball by the ftp command. Extract the directories
+ OpenXM OpenXM_contrib OpenXM_contrib2
+ by
+ tar xzvf openxm-head.tar.gz
+*/
+/*&jp
+★ OpenXM package の一部分のみ生成する方法 (head branch より).
+ * Head ブランチの tarball は
+ ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz
+ にあります. これを ftp で取得してから
+ tar xzvf openxm-head.tar.gz
+ を展開してください.
+ OpenXM OpenXM_contrib OpenXM_contrib2 が作成されます.
+*/
+/*&C
+
+*/
+/*&eg
+ [Subpackage asir] If you want to generate only Risa/Asir,
+ type in as follows.
+*/
+/*&jp
+ [部分パッケージ asir] Risa/Asir のみを生成したい場合は,
+ つぎのように入力します.
+*/
+/*&C
+
+ (cd OpenXM/src ; make install-asir)
+ (cd OpenXM/rc ; make )
+
+*/
+/*&eg
+ Copy the shell script "asir" at OpenXM/rc in your search path, e.g.,
+ /usr/local/bin or ~/bin
+ Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source
+ command from your ~/.bashrc or ~/.cshrc.
+*/
+/*&jp
+ OpenXM/rc の下のシェルスクリプト "asir" をサーチパスにコピーして
+ ください (たとえば, /usr/local/bin or ~/bin へ).
+ または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を
+ source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください.
+*/
+/*&C
+
+*/
+/*&eg
+ [Subpackage kan-ox] If you want to generate only kan/k0, kan/sm1 and asir
+ type in as follows.
+*/
+/*&jp
+ [部分パッケージ kan-ox] Kan/k0, Kan/sm1, asir のみを生成したい場合は,
+ つぎのように入力します.
+*/
+/*&C
+
+ (cd OpenXM/src ; make install-kan-ox)
+ (cd OpenXM/rc ; make )
+
+*/
+/*&eg
+ Copy the shell script "asir", "sm1" and "openxm" at OpenXM/rc
+ to your search path, e.g.,
+ /usr/local/bin or ~/bin
+ Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source
+ command from your ~/.bashrc or ~/.cshrc.
+*/
+/*&jp
+ OpenXM/rc の下のシェルスクリプト "asir", "sm1", "openxm" を
+ サーチパスにコピーして
+ ください (たとえば, /usr/local/bin or ~/bin へ).
+ または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を
+ source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください.
+*/
+
+//&C
+//&C ------------------------------------------------------
+//&C
/*&jp
[OpenXM 下のファイルの構成メモ]