version 1.12, 2000/01/21 03:19:17 |
version 1.29, 2000/03/16 11:37:19 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.11 2000/01/20 12:55:32 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.28 2000/03/15 13:18:28 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. |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
★ OpenXM パッケージの利用方法 |
★ OpenXM GENERIC パッケージの利用方法 |
この節では, OpenXM package binary distribution のインストール法を説明します. |
この節では, OpenXM package binary distribution のインストール法を説明します. |
インストールに必要なシステムの仕様については, 動作環境を御覧ください. |
インストールに必要なシステムの仕様については, 動作環境を御覧ください. |
*/ |
*/ |
/*&eg |
/*&eg |
***** HOW TO USE OpenXM PACKAGE? |
***** HOW TO INSTALL OpenXM GENERIC PACKAGE? |
In this section, we will explain how to install OpenXM package binary |
In this section, we will explain how to install OpenXM package binary |
distribution. |
distribution. |
As to the required environment, see the section "System Requirement" |
As to the required environment, see the section "System Requirement" |
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 |
|
|
|
tar xzvf OpenXM-shared.tgz |
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
|
|
*/ |
*/ |
Line 45 by /xxx/yyy/OpenXM. |
|
Line 53 by /xxx/yyy/OpenXM. |
|
|
|
*/ |
*/ |
/*&jp |
/*&jp |
(2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc |
(2) OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, |
ファイルを自動生成します. |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, 等の |
これらのファイルには, OpenXM/bin のファイルを実行するための |
ファイルを自動生成します. |
環境変数が定義されています. |
openxm, asir, oxmath などは OpenXM クライアントを起動するための |
|
シエルスクリプトです. これらを /usr/local/bin にインストールするには |
|
次のように入力します. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
(2) Generate OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc |
(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
by the following command. |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... |
Environmental variables to execute commands in OpenXM/bin |
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
are defined in these files. |
If you want to install these shell scripts to /usr/local/bin, |
|
type in as follows. |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
cd /xxx/yyy/OpenXM/rc |
cd /xxx/yyy/OpenXM/rc |
make |
make install |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
|
|
|
/usr/local/bin でなく, home directory の bin にインストールしたい |
|
ときは, 次のように入力してください. |
|
|
|
*/ |
|
/*&eg |
|
|
|
If you want to install them under the bin of your home directory, |
|
type in as follows. |
|
|
|
*/ |
|
/*&C |
|
|
|
cd /xxx/yyy/OpenXM/rc |
|
make install PREFIX=$HOME/bin |
|
|
|
*/ |
|
/*&C |
|
|
|
[Note] If you are Solaris user, you might have to type in like |
|
/usr/ccs/bin/make install PREFIX=$HOME/bin |
|
|
|
*/ |
|
/*&jp |
|
|
|
OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です. |
|
OpenXM clients を実行するだけの場合は, (3), (3') は skip してください. |
|
|
(3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. |
(3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
|
|
|
If you want to execute binaries under OpenXM/bin, you need to perform |
|
(3) and (3'). |
|
If you use only OpenXM clients, skip (3) and (3'). |
|
|
(3) Append the following line to the end of ~/.cshrc when you are |
(3) Append the following line to the end of ~/.cshrc when you are |
using csh as your shell. |
using csh as your shell. |
|
|
Line 89 by /xxx/yyy/OpenXM. |
|
Line 133 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 を取得して下さい (数秒しかかかりません). |
|
|
|
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. |
|
|
|
*/ |
|
/*&jp |
|
|
|
★ OpenXM FreeBSD binary パッケージのインストール方法 |
|
openxm-version.tgz |
|
を ftp サイトより copy して, |
|
root になって, |
|
pkg_add openxm-version.tgz |
|
OpenXM は /usr/local/OpenXM にインストールされます. |
|
あとは, 上の (4) へ. |
|
ここで version は OpenXM の version 番号で, たとえば, |
|
2000, 3/20(Mon) 版は 1.1.2 |
|
|
|
*/ |
|
/*&eg |
|
|
|
***** HOW TO INSTALL OpenXM FreeBSD binary package |
|
Copy |
|
openxm-version.tgz |
|
from our ftp cite. |
|
Become the super user and type |
|
pkg_add openxm-version.tgz |
|
OpenXM will be installed to /usr/local/OpenXM |
|
Go to (4) above. |
|
Here, version is the version number of OpenXM. |
|
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
|
is 1.1.2 |
|
|
|
*/ |
|
/*&jp |
|
|
|
★ OpenXM Redhat Package manager (Linux) |
|
binary パッケージのインストール方法 |
|
openxm-shared-version-suffix.noarch.rpm |
|
openxm-binary-version-suffix.i386.rpm |
|
を ftp サイトより copy して, |
|
root になって, |
|
rpm -i openxm-shared-version-suffix.noarch.rpm |
|
rpm -i openxm-binary-version-suffix.i386.rpm |
|
OpenXM は /usr/local/OpenXM にインストールされます. |
|
あとは, 上の (4) へ. |
|
ここで version は OpenXM の version 番号で, たとえば, |
|
2000, 3/20(Mon) 版は 1.1.2 |
|
suffix は, RPM 版の minor version number. |
|
|
|
Debian を利用している場合, コマンド alien で, rpm 形式を deb 形式に |
|
変換できます. |
|
|
|
*/ |
|
/*&eg |
|
|
|
***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux) |
|
Copy |
|
openxm-shared-version-suffix.noarch.rpm |
|
openxm-binary-version-suffix.i386.rpm |
|
from our ftp cite. |
|
Become the super user and type |
|
rpm -i openxm-shared-version-suffix.noarch.rpm |
|
rpm -i openxm-binary-version-suffix.i386.rpm |
|
OpenXM will be installed to /usr/local/OpenXM |
|
Go to (4) above. |
|
Here, version is the version number of OpenXM. |
|
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
|
is 1.1.2 |
|
suffix is the minor version number of the package. |
|
|
|
If you are using debian, please use the command alien to translate |
|
rpm to deb. |
|
|
|
*/ |
|
|
/*&C |
/*&C |
|
|
|
***** OpenXM client programs under OpenXM/bin or /usr/local/bin: |
|
asir |
|
oxmath |
|
openxm sm1 |
|
|
|
***** OpenXM server programs: |
|
OpenXM/bin/ox_asir |
|
OpenXM/bin/ox_sm1 |
|
OpenXM/bin/ox_math |
|
OpenXM/lib/sm1/bin/ox_sm1_gnuplot |
|
OpenXM/lib/sm1/bin/ox_sm1_phc |
|
OpenXM/lib/sm1/bin/ox_sm1_tigers |
|
OpenXM/lib/java-support/OMproxy.class |
|
|
***** QUALITY: |
***** QUALITY: |
the following modules and functions have still experimental qualities: |
Experimental: |
OpenXM/bin/k0, OpenXM/bin/d0 |
OpenXM/bin/k0, OpenXM/bin/d0 |
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
|
OpenXM/lib/java-support/ * |
|
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
|
OpenXM/lib/java-support/ * |
|
70% |
|
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
*/ |
*/ |
/*&C |
/*&C |
|
|
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 309 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. |
|
|
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
(1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x |
(1) OpenXM/bin/oxmath : Mathematica Version 3.x or 4.x |
(Mathematica server) at /usr/local/Mathematica |
(Mathematica server) at /usr/local/Mathematica |
OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
Asir client functions m_* |
Asir client functions m_* |
Line 234 The installation is completed. |
|
Line 411 The installation is completed. |
|
を見て下さい. |
を見て下さい. |
ps の付くファイルは, ghostview で見ることができます. |
ps の付くファイルは, ghostview で見ることができます. |
|
|
|
Mathematica client については, OpenXM/doc/ox_math を御覧ください. |
|
sm1 client については, OpenXM/doc/kan96xx を御覧ください. |
|
asir は, 多項式処理用のライブラリとしてリンクできます. |
|
これについては, OpenXM/doc/oxlib を御覧ください. |
|
|
|
OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit |
|
が参考になるかもしれません. Java のクラスについては |
|
OpenXM/src/OpenMath が参考になるかもしれません. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
***** DOCUMENTS |
***** DOCUMENTS |
Line 253 The installation is completed. |
|
Line 439 The installation is completed. |
|
|
|
Dvi files can be previewed by xdvi and |
Dvi files can be previewed by xdvi and |
ps files can be previewed by ghostview. |
ps files can be previewed by ghostview. |
|
|
|
As to Mathematica client, see OpenXM/doc/ox_math. |
|
As to sm1 client, see OpenXM/doc/kan96xx. |
|
The asir can be used as a C library for polynomial manupulation. |
|
See OpenXM/doc/oxlib. |
|
|
|
If you are interested in writing a server for OpenXM, please refer to |
|
OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. |
|
|
*/ |
*/ |
|
|
|
|
Line 297 xm Version 20000116. ox_help(0); ox_help("keyword"); f |
|
Line 492 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 328 See OpenXM/Copyright. |
|
Line 534 See OpenXM/Copyright. |
|
★ OpenXM パッケージの Make 法 |
★ OpenXM パッケージの Make 法 |
FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
Linux glib6 では, いまのところ, /usr/include/features.h |
Linux glib6 では, いまのところ, /usr/include/features.h |
で #define __FAVOR_BSD 1 してコンパイルする必要があります. |
で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが, |
(setjmp と sigsetjmp の問題, dirty trick) |
一部のソースを |
|
-D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます |
|
(setjmp と sigsetjmp の問題, dirty trick). |
|
|
OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
cvs コミッタの場合次のようにしてソースをとりよせます. |
cvs コミッタの場合次のようにしてソースをとりよせます. |
Line 337 See OpenXM/Copyright. |
|
Line 545 See OpenXM/Copyright. |
|
/*&eg |
/*&eg |
* How to make OpenXM package? |
* How to make OpenXM package? |
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
On Linux glib6, you need to define |
On Linux glib6, we needed to define |
#define __FAVOR_BSD 1 |
#define __FAVOR_BSD 1 |
in /usr/include/features.h |
in /usr/include/features.h, |
(setjmp vs sigsetjmp) |
but now we are compiling some sources with -D_BSD_SOURCE |
|
(setjmp vs sigsetjmp). |
|
|
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
Do you have directories OpenXM, OpenXM_contrib, 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 376 you need tex, ptex (ASCII Inc. Japanese tex), dvips, t |
|
Line 585 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 |
|
|
Line 388 in the binary distribution. |
|
Line 600 in the binary distribution. |
|
make all-kan96xx |
make all-kan96xx |
などと各モジュール名を指定してコンパイルして下さい. |
などと各モジュール名を指定してコンパイルして下さい. |
|
|
|
または |
|
OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて |
|
下さい. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
|
|
Line 396 in the binary distribution. |
|
Line 612 in the binary distribution. |
|
compile each modules independently, e.g., |
compile each modules independently, e.g., |
make all-kan96xx |
make all-kan96xx |
|
|
|
Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. |
|
|
*/ |
*/ |
|
|
/*&jp |
/*&jp |
Line 456 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k |
|
Line 674 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k |
|
rcvs export -rHEAD OpenXM |
rcvs export -rHEAD OpenXM |
rcvs export -rHEAD OpenXM_contrib |
rcvs export -rHEAD OpenXM_contrib |
rcvs export -rHEAD OpenXM_contrib2 |
rcvs export -rHEAD OpenXM_contrib2 |
|
cd OpenXM/src ; make generate-source-distribution |
して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
*/ |
*/ |
|
|