version 1.12, 2000/01/21 03:19:17 |
version 1.18, 2000/01/26 07:48:10 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.11 2000/01/20 12:55:32 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.17 2000/01/25 06:48:49 takayama Exp $ |
OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
|
|
/*&C |
/*&C |
OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM |
OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM |
|
Consult firstly the ERRATA section for your release on this web cite |
|
for troubles. |
|
|
OpenXM package : Getting started. |
OpenXM package : Getting started. |
|
|
Line 21 As to the required environment, see the section "Syste |
|
Line 23 As to the required environment, see the section "Syste |
|
/*&jp |
/*&jp |
|
|
(1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. |
(1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. |
OpenXM はどこにおいてもかまいません. |
OpenXM はどこにおいてもかまいません. ルートになってインストール |
|
する必要もありません. |
|
できれば, /usr/local/OpenXM においてほしいと思います. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
|
|
(1) Extract the directory OpenXM from the tar ball. |
(1) Extract the directory OpenXM from the tar ball. |
You can put the directory OpenXM at any place in the file system. |
You can put the directory OpenXM at any place in the file system. |
|
You do not need to be a root to install it. |
|
We are happy if you put OpenXM at /usr/local/OpenXM |
|
|
*/ |
*/ |
/*&C |
/*&C |
Line 89 by /xxx/yyy/OpenXM. |
|
Line 95 by /xxx/yyy/OpenXM. |
|
*/ |
*/ |
/*&C |
/*&C |
|
|
source /xxx/yyy/OpenXM/rc/dot.bash |
source /xxx/yyy/OpenXM/rc/dot.bashrc |
|
|
*/ |
*/ |
|
|
|
/*&jp |
|
|
|
(3) または (3') を終了したら, いったん logout して login しなおすか |
|
または, source コマンドで, dot.bashrc または dot.csh を読み込んで下さい. |
|
|
|
*/ |
|
/*&eg |
|
|
|
After finishing the step (3) or (3'), logout and login again, |
|
or read dot.bashrc or dot.cshrc file by the source command. |
|
|
|
*/ |
|
|
|
|
//&C |
//&C |
//&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. |
//&jp (4) asir の利用には key が必要です. |
//&eg (4) You need key to use asir. See the following file: |
//&eg (4) You need a key to use asir. |
//&C OpenXM/lib/asir/asir_key |
|
//&C |
//&C |
|
/*&jp |
|
asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を |
|
参照して, key を取得して下さい (数秒しかかかりません). |
|
|
|
*/ |
|
/*&eg |
|
Please get the key by following the instruction from asir itself or |
|
that in OpenXM/lib/asir/asir_key (it takes only a few seconds |
|
to get the key). |
|
|
|
*/ |
|
|
/*&C |
/*&C |
|
|
***** QUALITY: |
***** QUALITY: |
|
|
csh を利用している場合, .cshrc で |
csh を利用している場合, .cshrc で |
set path=(/usr/local/jdk1.1.8/bin $path) |
set path=(/usr/local/jdk1.1.8/bin $path) |
として, jdk の java, javac をサーチパスにいれます. |
として, jdk の java, javac をサーチパスにいれます. |
|
|
|
注意: |
|
なお, Kaffe 1.0.b4 の java は, class BigInteger に method |
|
toByteArray が含まれてないため, OpenMath モジュールでは使用できません. |
*/ |
*/ |
/*&eg |
/*&eg |
***** JAVA |
***** JAVA |
Line 137 set path=(/usr/local/jdk1.1.8/bin $path) |
|
Line 171 set path=(/usr/local/jdk1.1.8/bin $path) |
|
Bash users put the following line to .bashrc |
Bash users put the following line to .bashrc |
PATH=/usr/local/jdk1.1.8/bin:$PATH |
PATH=/usr/local/jdk1.1.8/bin:$PATH |
export PATH |
export PATH |
|
|
|
Remark: |
|
The Java interpreter of Kaffe 1.0.b4 does not contain the method |
|
toByteArray in the class BigInteger. |
|
So, it cannot be used for the OpenMath module. |
*/ |
*/ |
|
|
/*&C |
/*&C |
|
|
|
|
OS: FreeBSD 3.3 (Intel CPU), |
OS: FreeBSD 3.3 (Intel CPU), |
Linux systems (Intel CPU): |
Linux systems (Intel CPU): |
Plamo Linux on Linux 2.0.33, glibc5, |
Most Linux with libc5 and with libc6 (glibc 2.x). |
|
|
X window system is required. |
X window system is required. |
|
|
Line 297 xm Version 20000116. ox_help(0); ox_help("keyword"); f |
|
Line 336 xm Version 20000116. ox_help(0); ox_help("keyword"); f |
|
|
|
*/ |
*/ |
|
|
|
/*&jp |
|
|
|
★ sm1 クライアントの利用例 |
|
|
|
*/ |
|
/*&eg |
|
|
|
****** Example of the use of sm1 client |
|
|
|
*/ |
|
|
/*&C |
/*&C |
-------------------------------------- call ox_asir from sm1 |
-------------------------------------- call ox_asir from sm1 |
sm1 |
sm1 |
Line 376 you need tex, ptex (ASCII Inc. Japanese tex), dvips, t |
|
Line 426 you need tex, ptex (ASCII Inc. Japanese tex), dvips, t |
|
nkf. See each Makefile. |
nkf. See each Makefile. |
The generated documents are in OpenXM/doc and OpenXM/lib |
The generated documents are in OpenXM/doc and OpenXM/lib |
in the binary distribution. |
in the binary distribution. |
|
If you do not like to install Japanese environment such as ptex, |
|
type in R for the tex error prompt ? or |
|
prepare empty shell scripts ptex and nkf. |
*/ |
*/ |
/*&C |
/*&C |
|
|