version 1.5, 2000/01/18 12:41:13 |
version 1.6, 2000/01/19 12:57:39 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.4 2000/01/07 22:24:17 maekawa Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.5 2000/01/18 12:41:13 takayama Exp $ |
OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
|
|
|
/*&C |
|
OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM |
|
|
|
OpenXM package : Getting started. |
|
|
|
*/ |
/*&jp |
/*&jp |
★ OpenXM パッケージの Make 法 |
★ OpenXM パッケージの利用方法 |
FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
この節では, OpenXM package binary distribution のインストール法を説明します. |
OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
インストールに必要なシステムの仕様については, 動作環境を御覧ください. |
cvs コミッタの場合次のようにしてソースをとりよせます. |
|
*/ |
*/ |
/*&eg |
/*&eg |
* How to make OpenXM package? |
***** HOW TO USE OpenXM PACKAGE? |
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
In this section, we will explain how to install OpenXM package binary |
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
distribution. |
If you are a CVS committer, then you can get all sources as follows: |
As to the required environment, see the section "System Requirement" |
*/ |
*/ |
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
/*&jp |
//&C |
|
//&jp これらがそろっていたらあとは次のように入力するだけです. |
|
//&eg Check that you have these directories, then just type in the following commands |
|
/*&C |
|
|
|
cd OpenXM/src |
(1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. |
make configure |
OpenXM はどこにおいてもかまいません. |
make |
|
make install |
*/ |
|
/*&eg |
|
|
|
(1) Extract the directory OpenXM from the tar ball. |
|
You can put the directory OpenXM at any place in the file system. |
|
|
*/ |
*/ |
/*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が, |
/*&C |
OpenXM/src/OpenMath のコンパイルおよび利用には |
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
には, jdk (java 環境) が必要です. |
|
*/ |
*/ |
/*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica. |
/*&jp |
In order to use and compile OpenXM/src/OpenMath, |
以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM |
you need jdk (java environment). |
と書きます. |
|
|
*/ |
*/ |
/*&C |
/*&eg |
|
In the sequel, we will denote the absolute path of the directory OpenXM |
|
by /xxx/yyy/OpenXM. |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって |
(2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc |
おきます. |
ファイルを自動生成します. |
|
これらのファイルには, OpenXM/bin のファイルを実行するための |
|
環境変数が定義されています. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
/usr/ccs/bin must be at the top of the command search path to compile |
(2) Generate OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc |
on Solaris. |
by the following command. |
|
Environmental variables to execute commands in OpenXM/bin |
|
are defined in these files. |
|
|
*/ |
*/ |
/*& |
/*&C |
|
|
|
cd /xxx/yyy/OpenXM |
|
make |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
★ OpenXM パッケージの利用方法 |
(3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. |
OpenXM をホームの直下に展開した場合, 次のようにします. |
|
*/ |
*/ |
/*&eg |
/*&eg |
* How to use the OpenXM package? |
(3) Append the following line to the end of ~/.cshrc when you are |
If you have OpenXM under your home directory, do as follows. |
using csh as your shell. |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
cp OpenXM/rc/asirrc ~/.asirrc |
source /xxx/yyy/OpenXM/rc/dot.cshrc |
source OpenXM/rc/bashrc (in case of bash) |
|
source OpenXM/rc/cshrc (in case of csh) |
|
|
|
*/ |
*/ |
/*&jp |
/*&jp |
OpenXM をホームの直下に展開してない場合は OpenXM/rc/bashrc, OpenXM/rc/cshrc を |
(3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます. |
適当に変更して使用してください. |
|
*/ |
*/ |
/*&eg |
/*&eg |
If you have OpenXM in a different place, edit OpenXM/rc/bashrc or |
(3') Append the following line to the end of ~/.bashrc when you are |
OpenXM/rc/cshrc properly. |
using bash as your shell. |
|
|
*/ |
*/ |
|
/*&C |
|
|
|
source /xxx/yyy/OpenXM/rc/dot.bash |
|
|
|
*/ |
|
|
//&C |
//&C |
//&jp asir の利用には key が必要です. 以下のファイルを御覧ください. |
//&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. |
//&eg You need key to use asir. See the following file: |
//&eg (5) You need key to use asir. See the following file: |
//&C OpenXM/lib/asir/asir_key |
//&C OpenXM/lib/asir/asir_key |
//&C |
//&C |
|
|
|
/*&C |
|
QUALITY: |
|
the following functions have still experimental qualities: |
|
OpenXM/bin/k0, OpenXM/bin/d0 |
|
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
|
OpenXM/lib/java-support/ * |
|
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
|
*/ |
|
/*&C |
|
|
|
|
|
|
|
|
|
*/ |
/*&jp |
/*&jp |
|
★ 動作環境 |
|
|
|
*/ |
|
/*&eg |
|
***** System Requirements |
|
|
|
*/ |
|
/*&C |
|
|
|
OS: FreeBSD 3.x, Free BSD 2.8, Most Linux systems. |
|
|
|
*/ |
|
/*&jp |
|
次の module は, OS の標準 distribution 以外に, さらに下に記したソフトを |
|
必要とします. |
|
*/ |
|
/*&eg |
|
The following modules require the listed softwares other than the standard |
|
OS package. |
|
*/ |
|
/*&C |
|
|
|
(1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x |
|
(Mathematica server) at /usr/local/Mathematica |
|
OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
|
Asir client functions m_* |
|
(2) OpenXM/lib/java-support : JDK at /usr/local/jdk?? |
|
Asir client functions om_* |
|
sm1 client functions om_* |
|
|
|
*/ |
|
|
|
|
|
/*&jp |
注意 1. |
注意 1. |
asir で日本語のヘルプを利用するには, |
asir で日本語のヘルプを利用するには, |
PAGER=jless |
PAGER=jless |
|
|
|
|
[著作権表示] |
[著作権表示] |
OpenXM/Copyright を御覧ください. |
OpenXM/Copyright を御覧ください. |
|
*/ |
|
|
OpenXM : url http://www.math.kobe-u.ac.jp/OpenXM |
/*&jp |
cvs cite : kerberos.math.kobe-u.ac.jp |
★ OpenXM パッケージの Make 法 |
sm1 : 作者 Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN, |
FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
asir : 作者 url |
OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
ライセンス形態 ?? |
cvs コミッタの場合次のようにしてソースをとりよせます. |
gnuplot : 作者 url |
*/ |
ライセンス形態 GPL? |
/*&eg |
phc : 作者 Jan Verschelde, url |
* How to make OpenXM package? |
ライセンス形態 ?? |
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
tigers : 作者 Birk Hubert, url |
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
ライセンス形態 ?? |
If you are a CVS committer, then you can get all sources as follows: |
|
*/ |
|
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
|
//&C |
|
//&jp これらがそろっていたらあとは次のように入力するだけです. |
|
//&eg Check that you have these directories, then just type in the following commands |
|
/*&C |
|
|
|
cd OpenXM/src |
|
make configure |
|
make |
|
make install |
|
|
|
*/ |
|
/*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が, |
|
OpenXM/src/OpenMath のコンパイルおよび利用には |
|
には, jdk (java 環境) が必要です. |
|
*/ |
|
/*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica. |
|
In order to use and compile OpenXM/src/OpenMath, |
|
you need jdk (java environment). |
|
*/ |
|
/*&C |
|
|
|
*/ |
|
/*&jp |
|
Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって |
|
おきます. |
|
*/ |
|
/*&eg |
|
/usr/ccs/bin must be at the top of the command search path to compile |
|
on Solaris. |
|
*/ |
|
|
|
/*&jp |
[OpenXM についての連絡先] |
[OpenXM についての連絡先] |
takayama@math.sci.kobe-u.ac.jp |
takayama@math.sci.kobe-u.ac.jp |
|
|