| version 1.15, 2000/01/21 12:48:47 |
version 1.23, 2000/03/09 11:30:36 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.14 2000/01/21 08:30:35 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.22 2000/02/04 08:46:08 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 49 by /xxx/yyy/OpenXM. |
|
| Line 51 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 93 by /xxx/yyy/OpenXM. |
|
| Line 131 by /xxx/yyy/OpenXM. |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| source /xxx/yyy/OpenXM/rc/dot.bash |
source /xxx/yyy/OpenXM/rc/dot.bashrc |
| |
|
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
| |
|
| (3) または (3') を終了したら, いったん logout して login しなおすか |
(3) または (3') を終了したら, いったん logout して login しなおすか |
| または, source コマンドで, dot.bash または dot.csh を読み込んで下さい. |
または, source コマンドで, dot.bashrc または dot.csh を読み込んで下さい. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| After finishing the step (3) or (3'), logout and login again, |
After finishing the step (3) or (3'), logout and login again, |
| or read dot.bash or dot.cshrc file by the source command. |
or read dot.bashrc or dot.cshrc file by the source command. |
| |
|
| */ |
*/ |
| |
|
| Line 119 by /xxx/yyy/OpenXM. |
|
| Line 157 by /xxx/yyy/OpenXM. |
|
| asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を |
asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を |
| 参照して, key を取得して下さい (数秒しかかかりません). |
参照して, key を取得して下さい (数秒しかかかりません). |
| |
|
| |
Mail の利用ができて, /var/mail の下にメールを着信できれば, |
| |
/xxx/yyy/OpenXM/rc/fetch_asir_key |
| |
を実行することにより asir_key を自動で設定できます. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| Please get the key by following the instruction from asir itself or |
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 |
that in OpenXM/lib/asir/asir_key (it takes only a few seconds |
| to get the key). |
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 |
| |
|
| */ |
*/ |
| |
|
| /*&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 165 set path=(/usr/local/jdk1.1.8/bin $path) |
|
| Line 215 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 |
| Line 367 See OpenXM/Copyright. |
|
| Line 422 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 376 See OpenXM/Copyright. |
|
| Line 433 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 430 prepare empty shell scripts ptex and nkf. |
|
| Line 488 prepare empty shell scripts ptex and nkf. |
|
| make all-kan96xx |
make all-kan96xx |
| などと各モジュール名を指定してコンパイルして下さい. |
などと各モジュール名を指定してコンパイルして下さい. |
| |
|
| |
または |
| |
OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて |
| |
下さい. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| Line 438 prepare empty shell scripts ptex and nkf. |
|
| Line 500 prepare empty shell scripts ptex and nkf. |
|
| 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 498 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k |
|
| Line 562 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. |
| */ |
*/ |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to install.oxweave CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc