| version 1.31, 2000/04/03 05:59:01 |
version 1.37, 2000/09/23 07:28:11 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.30 2000/03/17 03:22:01 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.36 2000/09/21 08:06:39 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 |
| |
http://www.openxm.org |
| Consult firstly the ERRATA section for your release on this web cite |
Consult firstly the ERRATA section for your release on this web cite |
| for troubles. |
for troubles. |
| |
|
| OpenXM package : Getting started. |
OpenXM package : Getting started. |
| |
|
| |
This document is for OpenXM version 1.1.3. (Draft) |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| ★ OpenXM GENERIC パッケージの利用方法 |
★ OpenXM GENERIC パッケージの利用方法 |
| この節では, OpenXM package binary distribution のインストール法を説明します. |
この節では, OpenXM package binary distribution のインストール法を説明します. |
| |
ソースからインストールする場合は |
| |
★ OpenXM パッケージの Make 法 |
| |
を御覧下さい. |
| インストールに必要なシステムの仕様については, 動作環境を御覧ください. |
インストールに必要なシステムの仕様については, 動作環境を御覧ください. |
| */ |
*/ |
| /*&eg |
/*&eg |
| ***** HOW TO INSTALL OpenXM GENERIC 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. |
| |
If you build from the source, see the section |
| |
* How to make OpenXM package? |
| As to the required environment, see the section "System Requirement" |
As to the required environment, see the section "System Requirement" |
| */ |
*/ |
| /*&jp |
/*&jp |
| Line 151 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 159 If you use only OpenXM clients, skip (3) and (3'). |
|
| */ |
*/ |
| |
|
| |
|
| //&C |
/*&C |
| //&jp (4) asir の利用には key が必要です. |
|
| //&eg (4) You need a key to use asir. |
|
| //&C |
|
| /*&jp |
|
| asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を |
|
| 参照して, key を取得して下さい (数秒しかかかりません). |
|
| |
|
| Mail の利用ができて, /var/mail の下にメールを着信できれば, |
FAQ |
| /xxx/yyy/OpenXM/rc/fetch_asir_key |
|
| を実行することにより asir_key を自動で設定できます. |
|
| |
|
| FreeBSD の package, Redhat Package manager を利用している |
|
| 場合は, /usr/local/OpenXM/lib/asir/asir_key がすでに存在して |
|
| いる場合, このファイルは保存されます. |
|
| |
|
| */ |
*/ |
| |
/*&jp |
| |
Q. OpenXM の asir OpenXM client を icon でスタートするには? |
| |
A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます. |
| |
*/ |
| /*&eg |
/*&eg |
| Please get the key by following the instruction from asir itself or |
Q. How to start asir OpenXM clients in the iconic mode? |
| that in OpenXM/lib/asir/asir_key (it takes only a few seconds |
A. Add the following line to .Xdefaults or a file you read by xrdb. |
| to get the key). |
*/ |
| |
/*&C |
| |
|
| If you can get your mails under /var/mail, you can automatically set |
ox_xterm*iconic: on |
| 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 |
/*&jp |
| |
|
| Line 203 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 198 If you use only OpenXM clients, skip (3) and (3'). |
|
| インストール終了後のメッセージにしたがい, 必要な設定を |
インストール終了後のメッセージにしたがい, 必要な設定を |
| おこなって下さい. |
おこなって下さい. |
| |
|
| |
jdk は /usr/ports/lang/jdk よりインストールできます. |
| |
Linux emulation を有効にするには, |
| |
/etc/rc.conf に |
| |
linux_enable="YES" |
| |
と書き, |
| |
/usr/ports/emulators/linux_base を用いて, linux 用の共有ライブラリ等を |
| |
インストールしておきます. |
| |
(FreeBSD 3.x, 4.x) |
| |
|
| |
|
| /usr/local にインストールしなかった場合は, |
/usr/local にインストールしなかった場合は, |
| (2) を実行して下さい. |
(2) を実行して下さい. |
| |
|
| Line 227 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 232 If you use only OpenXM clients, skip (3) and (3'). |
|
| set path=(/usr/local/jdk1.1.8 $path) |
set path=(/usr/local/jdk1.1.8 $path) |
| rehash |
rehash |
| Following the message of pkg_add after the installation, |
Following the message of pkg_add after the installation, |
| set asir_key and path. |
set path. |
| |
|
| |
jdk can be installed by /usr/ports/lang/jdk. |
| |
Add the line |
| |
linux_enable="YES" |
| |
to /etc/rc.conf and install shared libraries for linux |
| |
by /usr/ports/emulators/linux_base. |
| |
Then, you can emulate linux. |
| |
|
| If you do not install under /usr/local, |
If you do not install under /usr/local, |
| goto (2). |
goto (2). |
| |
|
| Line 303 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 316 If you use only OpenXM clients, skip (3) and (3'). |
|
| 70% |
70% |
| OpenXM/bin/ox_math, OpenXM/bin/math2ox |
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
| OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
| |
|
| |
**** OpenXM server and client programs (under development) |
| |
included only in the source distribution |
| |
OpenXM/src/Macaulay2 ( M2 server and client ) |
| |
OpenXM/src/ruby ( Ruby client) |
| |
|
| |
**** Utilities |
| |
OpenXM/doc/oxlib ( how to link oxservers as libraries ) |
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| Line 321 csh を利用している場合, .cshrc で |
|
| Line 343 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 をサーチパスにいれます. |
| |
|
| |
jdk の入手先: FreeBSD --- /usr/ports/java/jdk を見てください. |
| |
Linux --- http://java.sun.com/products/jdk/1.2/ja |
| |
http://java.sun.com/j2se/1.3/ja |
| |
|
| 注意: |
注意: |
| なお, Kaffe 1.0.b4 の java は, class BigInteger に method |
なお, Kaffe 1.0.b4 の java は, class BigInteger に method |
| toByteArray が含まれてないため, OpenMath モジュールでは使用できません. |
toByteArray が含まれてないため, OpenMath モジュールでは使用できません. |
| Line 337 Bash users put the following line to .bashrc |
|
| Line 363 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 |
| |
|
| |
|
| |
Where can I get jdk? : FreeBSD --- see /usr/ports/java/jdk |
| |
Linux --- http://java.sun.com/products/jdk/1.2/ja |
| |
http://java.sun.com/j2se/1.3/ja |
| |
|
| |
|
| Remark: |
Remark: |
| The Java interpreter of Kaffe 1.0.b4 does not contain the method |
The Java interpreter of Kaffe 1.0.b4 does not contain the method |
| toByteArray in the class BigInteger. |
toByteArray in the class BigInteger. |
| Line 359 So, it cannot be used for the OpenMath module. |
|
| Line 391 So, it cannot be used for the OpenMath module. |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| OS: FreeBSD 3.3 (Intel CPU), |
OS: FreeBSD 3.3, 3.4, 4.x (Intel CPU), |
| Linux systems (Intel CPU): |
Linux systems (Intel CPU): |
| Most Linux with libc5 and with libc6 (glibc 2.x). |
Most Linux with libc5 and with libc6 (glibc 2.x). |
| |
|
| Line 559 See OpenXM/Copyright. |
|
| Line 591 See OpenXM/Copyright. |
|
| |
|
| |
|
| ★ OpenXM パッケージの Make 法 |
★ OpenXM パッケージの Make 法 |
| FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
FreeBSD 3.x, FreeBSD 4.x, Linux で動作するものと期待してます. |
| Linux glib6 では, いまのところ, /usr/include/features.h |
(Linux glib6 では, いまのところ, /usr/include/features.h |
| で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが, |
で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが, |
| 一部のソースを |
一部のソースを |
| -D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます |
-D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます |
| (setjmp と sigsetjmp の問題, dirty trick). |
(setjmp と sigsetjmp の問題, dirty trick) 現在では問題ありません. ) |
| |
|
| OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
| |
ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 より |
| |
openxm-1.1.3.tar.gz |
| |
を get して展開して下さい. |
| |
tar xzvf openxm-1.1.3.tar.gz |
| |
|
| |
openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib |
| |
openxm-1.1.3/OpenXM_contrib2 |
| |
が生成されます. |
| |
|
| cvs コミッタの場合次のようにしてソースをとりよせます. |
cvs コミッタの場合次のようにしてソースをとりよせます. |
| */ |
*/ |
| /*&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 3.x, FreeBSD 4.x, Linux. |
| On Linux glib6, we needed 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, |
| but now we are compiling some sources with -D_BSD_SOURCE |
but now we are compiling some sources with -D_BSD_SOURCE |
| (setjmp vs sigsetjmp). |
(setjmp vs sigsetjmp). So, you do not need to make this change.) |
| |
|
| Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
| |
get |
| |
openxm-1.1.3.tar.gz |
| |
from ftp.math.kobe-u.ac.jp/OpenXM/1.1.3 |
| |
Expand it by |
| |
tar xzvf openxm-1.1.3.tar.gz |
| |
|
| |
Then, you will get |
| |
openxm-1.1.3/OpenXM openxm-1.1.3/OpenXM_contrib |
| |
openxm-1.1.3/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: |
| */ |
*/ |
| //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
| Line 598 OpenXM/src/OpenMath のコンパイルおよび利用には |
|
| Line 650 OpenXM/src/OpenMath のコンパイルおよび利用には |
|
| には, jdk (java 環境) が必要です. |
には, jdk (java 環境) が必要です. |
| |
|
| Documents を生成するには, tex, ptex (ascii 日本語 tex), dvips, texinfo, |
Documents を生成するには, tex, ptex (ascii 日本語 tex), dvips, texinfo, |
| texi2html, nkf, |
texi2html, nkf, jlatex2html |
| が必要です. 詳しくは Makefiles を見て下さい. |
が必要です. 詳しくは Makefiles を見て下さい. |
| Document は, binary distribution の OpenXM/doc, OpenXM/lib |
Document は, binary distribution の OpenXM/doc, OpenXM/lib |
| より得るのが簡単です. |
より得るのが簡単です. |
| Line 609 you need jdk (java environment). |
|
| Line 661 you need jdk (java environment). |
|
| |
|
| In order to generate the full documentation including Japanese documents, |
In order to generate the full documentation including Japanese documents, |
| you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html, |
you need tex, ptex (ASCII Inc. Japanese tex), dvips, texinfo, texi2html, |
| nkf. See each Makefile. |
nkf, jlatex2html. 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, |
If you do not like to install Japanese environment such as ptex, |
| Line 619 prepare empty shell scripts ptex and nkf. |
|
| Line 671 prepare empty shell scripts ptex and nkf. |
|
| /*&C |
/*&C |
| |
|
| */ |
*/ |
| /*&jp |
|
| |
|
| OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを |
|
| 富士通より受ける必要があります), |
|
| OpenXM/src/Makefile の各モジュール名 たとえば |
|
| make all-kan96xx |
|
| などと各モジュール名を指定してコンパイルして下さい. |
|
| |
|
| または |
/*&eg |
| OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて |
To run the system, you need to read OpenXM/rc/dot.cshrc or |
| 下さい. |
OpenXM/rc/dot.bashrc by the source |
| |
command for setting proper environmental variable values. |
| |
|
| |
By the commands |
| |
cd OpenXM/rc |
| |
make |
| |
you can generate dot.cshrc and dot.bashrc. |
| |
Read these file by the source command in your .cshrc |
| |
or .bashrc (or .bash_profile). |
| */ |
*/ |
| /*&eg |
/*&jp |
| |
システムを動かすには, OpenXM/rc/dot.cshrc または |
| If you cannot get a source liscence of OpenXM_contrib2/asir2000 |
OpenXM/rc/dot.bashrc を source コマンドで |
| from Fujitsu labs, |
よみこみ環境変数の値を適切に設定する必要があります. |
| compile each modules independently, e.g., |
|
| make all-kan96xx |
|
| |
|
| Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. |
コマンド |
| |
cd OpenXM/rc |
| |
make |
| |
で dot.cshrc および dot.bashrc が生成されます. |
| |
これらのファイルを source コマンドで, |
| |
.cshrc または .bashrc (または .bash_profile) より読むようにして下さい. |
| |
*/ |
| |
/*&C |
| |
|
| */ |
*/ |
| |
|
![[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