=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.40 retrieving revision 1.45 diff -u -p -r1.40 -r1.45 --- OpenXM/doc/install.oxweave 2000/12/01 02:27:31 1.40 +++ OpenXM/doc/install.oxweave 2002/03/02 01:00:23 1.45 @@ -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.44 2001/12/21 00:33:50 takayama Exp $ OpenXM/doc/install.oxweave /*&C @@ -9,8 +9,23 @@ for troubles. OpenXM package : Getting started. -This document is for OpenXM version 1.1.3. (Draft) +This document is for OpenXM version 1.2.1. + +----------- An instruction for a quick installation from the source code --- +(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 @@ -614,13 +650,13 @@ See OpenXM/Copyright. (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 + ftp.math.kobe-u.ac.jp/OpenXM/1.2.1 より + openxm-1.2.1.tar.gz を get して展開して下さい. - tar xzvf openxm-1.1.3.tar.gz + tar xzvf openxm-1.2.1.tar.gz - openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib - openxm-1.1.3/OpenXM_contrib2 + openxm-1.2.1/OpenXM openxm-1.2.1/OpenXM_contrib + openxm-1.2.1/OpenXM_contrib2 が生成されます. cvs コミッタの場合次のようにしてソースをとりよせます. @@ -636,14 +672,14 @@ See OpenXM/Copyright. 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 + openxm-1.2.1.tar.gz + from ftp.math.kobe-u.ac.jp/OpenXM/1.2.1 Expand it by - tar xzvf openxm-1.1.3.tar.gz + tar xzvf openxm-1.2.1.tar.gz Then, you will get - openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib - openxm-1.1.3/OpenXM_contrib2 + openxm-1.2.1/OpenXM openxm-1.2.1/OpenXM_contrib + openxm-1.2.1/OpenXM_contrib2 If you are a CVS committer, then you can get all sources as follows: @@ -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 下のファイルの構成メモ]