version 1.9, 2000/01/20 08:21:50 |
version 1.11, 2000/01/20 12:55:32 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.8 2000/01/20 07:25:25 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.10 2000/01/20 09:06:08 takayama Exp $ |
OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
|
|
/*&C |
/*&C |
Line 95 by /xxx/yyy/OpenXM. |
|
Line 95 by /xxx/yyy/OpenXM. |
|
|
|
//&C |
//&C |
//&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. |
//&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. |
//&eg (5) You need key to use asir. See the following file: |
//&eg (4) You need key to use asir. See the following file: |
//&C OpenXM/lib/asir/asir_key |
//&C OpenXM/lib/asir/asir_key |
//&C |
//&C |
|
|
Line 107 by /xxx/yyy/OpenXM. |
|
Line 107 by /xxx/yyy/OpenXM. |
|
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
OpenXM/lib/java-support/ * |
OpenXM/lib/java-support/ * |
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
|
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
*/ |
*/ |
/*&C |
/*&C |
|
|
Line 119 OpenMath 用の OMproxy には現在のところ, jdk が必要です |
|
Line 120 OpenMath 用の OMproxy には現在のところ, jdk が必要です |
|
たとえば bash を利用している場合, .bashrc で |
たとえば bash を利用している場合, .bashrc で |
PATH=/usr/local/jdk1.1.8/bin:$PATH |
PATH=/usr/local/jdk1.1.8/bin:$PATH |
export PATH |
export PATH |
などとして, jdk の javac をサーチパスの先のほうへもっていくようにして |
などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして |
ください. |
ください. |
|
csh を利用している場合, .cshrc で |
|
set path=(/usr/local/jdk1.1.8/bin $path) |
|
として, jdk の java, javac をサーチパスにいれます. |
*/ |
*/ |
/*&eg |
/*&eg |
***** JAVA |
***** JAVA |
Line 128 In order to use OMproxy, asir client om_*, |
|
Line 132 In order to use OMproxy, asir client om_*, |
|
you need to install JDK. |
you need to install JDK. |
The bin dir of the JDK must be in yur search path. |
The bin dir of the JDK must be in yur search path. |
For example, you need to add the following line |
For example, you need to add the following line |
to your .chsrc |
to your .chsrc when your shell is csh |
set path=(/usr/local/jdk1.1.8/bin $path) |
set path=(/usr/local/jdk1.1.8/bin $path) |
|
Bash users put the following line to .bashrc |
|
PATH=/usr/local/jdk1.1.8/bin:$PATH |
|
export PATH |
*/ |
*/ |
|
|
/*&C |
/*&C |
Line 148 set path=(/usr/local/jdk1.1.8/bin $path) |
|
Line 155 set path=(/usr/local/jdk1.1.8/bin $path) |
|
*/ |
*/ |
/*&C |
/*&C |
|
|
OS: FreeBSD 3.3, |
OS: FreeBSD 3.3 (Intel CPU), |
Linux systems (Plamo Linux on Linux 2.0.33, glibc5, ) |
Linux systems (Intel CPU): |
|
Plamo Linux on Linux 2.0.33, glibc5, |
|
|
X window system is required. |
X window system is required. |
|
|
Most part of the OpenXM package may work on other versions of |
Most part of the OpenXM package may work on other versions of |
FreeBSD and Linux, but we have not yet tested. |
FreeBSD 3.x and Linux, but we have not yet tested. |
|
|
*/ |
*/ |
/*&jp |
/*&jp |