=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.39 retrieving revision 1.41 diff -u -p -r1.39 -r1.41 --- OpenXM/doc/install.oxweave 2000/11/30 12:45:13 1.39 +++ OpenXM/doc/install.oxweave 2000/12/22 02:07:55 1.41 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.38 2000/09/25 07:12:41 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.40 2000/12/01 02:27:31 takayama Exp $ OpenXM/doc/install.oxweave /*&C @@ -18,6 +18,10 @@ This document is for OpenXM version 1.1.3. (Draft) ソースからインストールする場合は ★ OpenXM パッケージの Make 法 を御覧下さい. +RPM, Debian などのパッケージでインストールする場合は + Web ページの説明どうりにパッケージをインストールするだけで + 設定が終了します. + インストールに必要なシステムの仕様については, 動作環境を御覧ください. */ /*&eg @@ -26,6 +30,9 @@ In this section, we will explain how to install OpenXM distribution. If you build from the source, see the section * How to make OpenXM package? +If you install openxm by using RPM or Debian package, +install the system following the instruction given on our web page. + As to the required environment, see the section "System Requirement" */ /*&jp @@ -180,6 +187,11 @@ A. Add the following line to .Xdefaults or a file you ox_xterm*iconic: on */ +/*&C + +------------------------------------------------------------- + +*/ /*&jp ★ OpenXM FreeBSD binary パッケージのインストール方法 @@ -188,7 +200,7 @@ A. Add the following line to .Xdefaults or a file you root になって, pkg_add openxm-version.tgz OpenXM は /usr/local/OpenXM にインストールされます. - あとは, 上の (4) へ. + ここで version は OpenXM の version 番号で, たとえば, 2000, 3/20(Mon) 版は 1.1.2 pkg_add に失敗した場合は, /var のサイズを大きくしてやりなおして @@ -226,7 +238,7 @@ A. Add the following line to .Xdefaults or a file you 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 @@ -262,7 +274,7 @@ A. Add the following line to .Xdefaults or a file you 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. @@ -286,7 +298,7 @@ A. Add the following line to .Xdefaults or a file you 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 @@ -302,6 +314,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 @@ -385,9 +403,9 @@ So, it cannot be used for the OpenMath module. /*&C +-------------------------------------------------------- - */ /*&jp ★ 動作環境 @@ -461,6 +479,12 @@ The installation is completed. */ +/*&C + +----------------------------------------------------- + +*/ + /*&jp ★ 文書 @@ -588,6 +612,10 @@ OpenXM/Copyright を御覧ください. See OpenXM/Copyright. */ +//&C +//&C ---------------------------------------------- +//&C + /*&eg @@ -708,6 +736,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 下のファイルの構成メモ]