version 1.13, 2000/01/21 08:23:44 |
version 1.22, 2000/02/04 08:46:08 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.12 2000/01/21 03:19:17 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.21 2000/02/01 10:14:11 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. |
|
|
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/bin のファイルを実行するための |
これらのファイルには, OpenXM/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 |
|
OpenXM/rc/openxm |
by the following command. |
by the following command. |
Environmental variables to execute commands in OpenXM/bin |
Environmental variables to execute commands in OpenXM/bin |
are defined in these files. |
are defined in these files. |
Line 93 by /xxx/yyy/OpenXM. |
|
Line 97 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 を読み込んで下さい. |
|
(3) または (3') をやらないという選択もあります. |
|
この場合, シェルスクリプト |
|
OpenXM/rc/openxm を コマンドサーチパスに移し, |
|
OpenXM/bin 以下の全てのコマンドの実行は, |
|
openxm コマンド名 |
|
という形で呼び出します. |
|
たとえば, openxm asir とか openxm sm1 という形でよびだします. |
|
|
|
*/ |
|
/*&eg |
|
|
|
After finishing the step (3) or (3'), logout and login again, |
|
or read dot.bashrc or dot.cshrc file by the source command. |
|
You may skip the step (3) or (3'). |
|
In this case, move the shell script OpenXM/rc/openxm to your |
|
command search path. To execute commands in OpenXM/bin, type in |
|
openxm command-name |
|
For example, "openxm asir" starts asir and "openx sm1" starts sm1 |
|
with a proper setting of environmental variables. |
|
|
|
*/ |
|
|
|
|
//&C |
//&C |
//&jp (4) asir の利用には key が必要です. |
//&jp (4) asir の利用には key が必要です. |
//&eg (4) You need a key to use asir. |
//&eg (4) You need a key to use asir. |
|
|
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 151 set path=(/usr/local/jdk1.1.8/bin $path) |
|
Line 186 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. |
|
|
Line 353 See OpenXM/Copyright. |
|
Line 393 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 362 See OpenXM/Copyright. |
|
Line 404 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 401 you need tex, ptex (ASCII Inc. Japanese tex), dvips, t |
|
Line 444 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 413 in the binary distribution. |
|
Line 459 in the binary distribution. |
|
make all-kan96xx |
make all-kan96xx |
などと各モジュール名を指定してコンパイルして下さい. |
などと各モジュール名を指定してコンパイルして下さい. |
|
|
|
または |
|
OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて |
|
下さい. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
|
|
Line 421 in the binary distribution. |
|
Line 471 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 481 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k |
|
Line 533 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. |
*/ |
*/ |
|
|