| version 1.40, 2000/12/01 02:27:31 |
version 1.45, 2002/03/02 01:00:23 |
|
|
| %% $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 |
OpenXM/doc/install.oxweave |
| |
|
| /*&C |
/*&C |
|
|
| |
|
| OpenXM package : Getting started. |
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 |
/*&jp |
| ★ OpenXM GENERIC パッケージの利用方法 |
★ OpenXM GENERIC パッケージの利用方法 |
| Line 187 A. Add the following line to .Xdefaults or a file you |
|
| Line 202 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 329 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 418 So, it cannot be used for the OpenMath module. |
|
| |
|
| /*&C |
/*&C |
| |
|
| |
-------------------------------------------------------- |
| |
|
| |
|
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| ★ 動作環境 |
★ 動作環境 |
| Line 468 The installation is completed. |
|
| Line 494 The installation is completed. |
|
| |
|
| */ |
*/ |
| |
|
| |
/*&C |
| |
|
| |
----------------------------------------------------- |
| |
|
| |
*/ |
| |
|
| /*&jp |
/*&jp |
| ★ 文書 |
★ 文書 |
| |
|
| Line 595 OpenXM/Copyright を御覧ください. |
|
| Line 627 OpenXM/Copyright を御覧ください. |
|
| See OpenXM/Copyright. |
See OpenXM/Copyright. |
| */ |
*/ |
| |
|
| |
//&C |
| |
//&C ---------------------------------------------- |
| |
//&C |
| |
|
| /*&eg |
/*&eg |
| |
|
| |
|
| Line 614 See OpenXM/Copyright. |
|
| Line 650 See OpenXM/Copyright. |
|
| (setjmp と sigsetjmp の問題, dirty trick) 現在では問題ありません. ) |
(setjmp と sigsetjmp の問題, dirty trick) 現在では問題ありません. ) |
| |
|
| OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
| ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 より |
ftp.math.kobe-u.ac.jp/OpenXM/1.2.1 より |
| openxm-1.1.3.tar.gz |
openxm-1.2.1.tar.gz |
| を get して展開して下さい. |
を 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.2.1/OpenXM openxm-1.2.1/OpenXM_contrib |
| openxm-1.1.3/OpenXM_contrib2 |
openxm-1.2.1/OpenXM_contrib2 |
| が生成されます. |
が生成されます. |
| |
|
| cvs コミッタの場合次のようにしてソースをとりよせます. |
cvs コミッタの場合次のようにしてソースをとりよせます. |
| Line 636 See OpenXM/Copyright. |
|
| Line 672 See OpenXM/Copyright. |
|
| |
|
| Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
| get |
get |
| openxm-1.1.3.tar.gz |
openxm-1.2.1.tar.gz |
| from ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 |
from ftp.math.kobe-u.ac.jp/OpenXM/1.2.1 |
| Expand it by |
Expand it by |
| tar xzvf openxm-1.1.3.tar.gz |
tar xzvf openxm-1.2.1.tar.gz |
| |
|
| Then, you will get |
Then, you will get |
| openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib |
openxm-1.2.1/OpenXM openxm-1.2.1/OpenXM_contrib |
| openxm-1.1.3/OpenXM_contrib2 |
openxm-1.2.1/OpenXM_contrib2 |
| |
|
| |
|
| If you are a CVS committer, then you can get all sources as follows: |
If you are a CVS committer, then you can get all sources as follows: |
| Line 715 OpenXM/rc/dot.bashrc を source コマンドで |
|
| Line 751 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