version 1.32, 2000/04/10 02:29:40 |
version 1.34, 2000/09/05 11:57:04 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.31 2000/04/03 05:59:01 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.33 2000/09/05 08:24:34 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 |
|
http://www.openxm.org |
Consult firstly the ERRATA section for your release on this web cite |
Consult firstly the ERRATA section for your release on this web cite |
for troubles. |
for troubles. |
|
|
OpenXM package : Getting started. |
OpenXM package : Getting started. |
|
|
|
This document is for OpenXM version 1.1.3. (Draft) |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
★ OpenXM GENERIC パッケージの利用方法 |
★ OpenXM GENERIC パッケージの利用方法 |
Line 151 If you use only OpenXM clients, skip (3) and (3'). |
|
Line 154 If you use only OpenXM clients, skip (3) and (3'). |
|
*/ |
*/ |
|
|
|
|
//&C |
|
//&jp (4) asir の利用には key が必要です. |
|
//&eg (4) You need a key to use asir. |
|
//&C |
|
/*&jp |
|
asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を |
|
参照して, key を取得して下さい (数秒しかかかりません). |
|
|
|
Mail の利用ができて, /var/mail の下にメールを着信できれば, |
|
/xxx/yyy/OpenXM/rc/fetch_asir_key |
|
を実行することにより asir_key を自動で設定できます. |
|
|
|
FreeBSD の package, Redhat Package manager を利用している |
|
場合は, /usr/local/OpenXM/lib/asir/asir_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). |
|
|
|
If you can get your mails under /var/mail, you can automatically set |
|
your key by executing |
|
/xxx/yyy/OpenXM/rc/fetch_asir_key |
|
|
|
If you install the OpenXM package by the pkg_add of FreeBSD or |
|
the redhat package manager, the old key file |
|
/usr/local/OpenXM/lib/asir/asir_key, if exists, is saved. |
|
|
|
*/ |
|
/*&C |
/*&C |
|
|
FAQ |
FAQ |
Line 221 A. Add the following line to .Xdefaults or a file you |
|
Line 193 A. Add the following line to .Xdefaults or a file you |
|
インストール終了後のメッセージにしたがい, 必要な設定を |
インストール終了後のメッセージにしたがい, 必要な設定を |
おこなって下さい. |
おこなって下さい. |
|
|
|
jdk は /usr/ports/lang/jdk よりインストールできます. |
|
Linux emulation を有効にするには, |
|
/etc/rc.conf に |
|
linux_enable="YES" |
|
と書き, |
|
/usr/ports/emulators/linux_base を用いて, linux 用の共有ライブラリ等を |
|
インストールしておきます. |
|
(FreeBSD 3.x, 4.x) |
|
|
|
|
/usr/local にインストールしなかった場合は, |
/usr/local にインストールしなかった場合は, |
(2) を実行して下さい. |
(2) を実行して下さい. |
|
|
Line 245 A. Add the following line to .Xdefaults or a file you |
|
Line 227 A. Add the following line to .Xdefaults or a file you |
|
set path=(/usr/local/jdk1.1.8 $path) |
set path=(/usr/local/jdk1.1.8 $path) |
rehash |
rehash |
Following the message of pkg_add after the installation, |
Following the message of pkg_add after the installation, |
set asir_key and path. |
set path. |
|
|
|
jdk can be installed by /usr/ports/lang/jdk. |
|
Add the line |
|
linux_enable="YES" |
|
to /etc/rc.conf and install shared libraries for linux |
|
by /usr/ports/emulators/linux_base. |
|
Then, you can emulate linux. |
|
|
If you do not install under /usr/local, |
If you do not install under /usr/local, |
goto (2). |
goto (2). |
|
|
Line 339 csh を利用している場合, .cshrc で |
|
Line 329 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 をサーチパスにいれます. |
|
|
|
jdk の入手先: FreeBSD --- /usr/ports/java/jdk を見てください. |
|
Linux --- |
|
|
注意: |
注意: |
なお, Kaffe 1.0.b4 の java は, class BigInteger に method |
なお, Kaffe 1.0.b4 の java は, class BigInteger に method |
toByteArray が含まれてないため, OpenMath モジュールでは使用できません. |
toByteArray が含まれてないため, OpenMath モジュールでは使用できません. |
Line 355 Bash users put the following line to .bashrc |
|
Line 348 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 |
|
|
|
|
|
Where can I get jdk? : FreeBSD --- see /usr/ports/java/jdk |
|
Linux --- |
|
|
Remark: |
Remark: |
The Java interpreter of Kaffe 1.0.b4 does not contain the method |
The Java interpreter of Kaffe 1.0.b4 does not contain the method |
toByteArray in the class BigInteger. |
toByteArray in the class BigInteger. |
Line 377 So, it cannot be used for the OpenMath module. |
|
Line 374 So, it cannot be used for the OpenMath module. |
|
*/ |
*/ |
/*&C |
/*&C |
|
|
OS: FreeBSD 3.3 (Intel CPU), |
OS: FreeBSD 3.3, 3.4, 4.x (Intel CPU), |
Linux systems (Intel CPU): |
Linux systems (Intel CPU): |
Most Linux with libc5 and with libc6 (glibc 2.x). |
Most Linux with libc5 and with libc6 (glibc 2.x). |
|
|
Line 635 type in R for the tex error prompt ? or |
|
Line 632 type in R for the tex error prompt ? or |
|
prepare empty shell scripts ptex and nkf. |
prepare empty shell scripts ptex and nkf. |
*/ |
*/ |
/*&C |
/*&C |
|
|
*/ |
|
/*&jp |
|
|
|
OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを |
|
富士通より受ける必要があります), |
|
OpenXM/src/Makefile の各モジュール名 たとえば |
|
make all-kan96xx |
|
などと各モジュール名を指定してコンパイルして下さい. |
|
|
|
または |
|
OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて |
|
下さい. |
|
|
|
*/ |
|
/*&eg |
|
|
|
If you cannot get a source liscence of OpenXM_contrib2/asir2000 |
|
from Fujitsu labs, |
|
compile each modules independently, e.g., |
|
make all-kan96xx |
|
|
|
Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. |
|
|
|
*/ |
*/ |
|
|