| version 1.40, 2000/12/01 02:27:31 |
version 1.42, 2001/12/20 03:44:10 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.39 2000/11/30 12:45:13 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.41 2000/12/22 02:07:55 takayama Exp $ |
| OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
| |
|
| /*&C |
/*&C |
| Line 11 OpenXM package : Getting started. |
|
| Line 11 OpenXM package : Getting started. |
|
| |
|
| This document is for OpenXM version 1.1.3. (Draft) |
This document is for OpenXM version 1.1.3. (Draft) |
| |
|
| |
|
| |
----------- An instruction for 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/misc ; make install) |
| |
Shell scripts to start "asir", "sm1", ... will be copied to |
| |
/usr/local/bin |
| |
|
| |
******************************************************************* |
| |
(cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib) |
| |
You will get only asir (OpenXM version) and kan/sm1. |
| |
------------------------------------------------------------------- |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| ★ OpenXM GENERIC パッケージの利用方法 |
★ OpenXM GENERIC パッケージの利用方法 |
| Line 187 A. Add the following line to .Xdefaults or a file you |
|
| Line 201 A. Add the following line to .Xdefaults or a file you |
|
| ox_xterm*iconic: on |
ox_xterm*iconic: on |
| |
|
| */ |
*/ |
| |
/*&C |
| |
|
| |
------------------------------------------------------------- |
| |
|
| |
*/ |
| /*&jp |
/*&jp |
| |
|
| ★ OpenXM FreeBSD binary パッケージのインストール方法 |
★ OpenXM FreeBSD binary パッケージのインストール方法 |
| Line 309 A. Add the following line to .Xdefaults or a file you |
|
| Line 328 A. Add the following line to .Xdefaults or a file you |
|
| |
|
| /*&C |
/*&C |
| |
|
| |
--------------------------------------------------------- |
| |
|
| |
*/ |
| |
|
| |
/*&C |
| |
|
| ***** OpenXM client programs under OpenXM/bin or /usr/local/bin: |
***** OpenXM client programs under OpenXM/bin or /usr/local/bin: |
| asir |
asir |
| oxmath |
oxmath |
| Line 392 So, it cannot be used for the OpenMath module. |
|
| Line 417 So, it cannot be used for the OpenMath module. |
|
| |
|
| /*&C |
/*&C |
| |
|
| |
-------------------------------------------------------- |
| |
|
| |
|
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| ★ 動作環境 |
★ 動作環境 |
| Line 468 The installation is completed. |
|
| Line 493 The installation is completed. |
|
| |
|
| */ |
*/ |
| |
|
| |
/*&C |
| |
|
| |
----------------------------------------------------- |
| |
|
| |
*/ |
| |
|
| /*&jp |
/*&jp |
| ★ 文書 |
★ 文書 |
| |
|
| Line 595 OpenXM/Copyright を御覧ください. |
|
| Line 626 OpenXM/Copyright を御覧ください. |
|
| See OpenXM/Copyright. |
See OpenXM/Copyright. |
| */ |
*/ |
| |
|
| |
//&C |
| |
//&C ---------------------------------------------- |
| |
//&C |
| |
|
| /*&eg |
/*&eg |
| |
|
| |
|
| Line 715 OpenXM/rc/dot.bashrc を source コマンドで |
|
| Line 750 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 |
/*&jp |
| |
|
| [OpenXM 下のファイルの構成メモ] |
[OpenXM 下のファイルの構成メモ] |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to install.oxweave CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc