===================================================================
RCS file: /home/cvs/OpenXM/doc/install.oxweave,v
retrieving revision 1.24
retrieving revision 1.44
diff -u -p -r1.24 -r1.44
--- OpenXM/doc/install.oxweave 2000/03/11 08:07:16 1.24
+++ OpenXM/doc/install.oxweave 2001/12/21 00:33:50 1.44
@@ -1,23 +1,53 @@
-%% $OpenXM: OpenXM/doc/install.oxweave,v 1.23 2000/03/09 11:30:36 takayama Exp $
+%% $OpenXM: OpenXM/doc/install.oxweave,v 1.43 2001/12/20 04:52:07 takayama Exp $
OpenXM/doc/install.oxweave
/*&C
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
for troubles.
OpenXM package : Getting started.
+This document is for OpenXM version 1.1.3. (Draft)
+
+
+----------- An instruction for a quick installation from the source code ---
+(cd OpenXM/src ; make configure ; make install)
+ You will get binaries, libraries, and documents under
+ OpenXM/bin, OpenXM/lib, OpenXM/doc
+(cd OpenXM/rc ; make install)
+ Shell scripts to start "asir", "sm1", ... will be copied to
+ /usr/local/bin
+
+*********** If you need only asir and kan/(sm1, k0),
+(cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib)
+ You will get only asir (OpenXM version) and kan/sm1.
+(cd OpenXM/rc ; make install)
+-------------------------------------------------------------------
+
*/
/*&jp
★ OpenXM GENERIC パッケージの利用方法
この節では, OpenXM package binary distribution のインストール法を説明します.
+ソースからインストールする場合は
+ ★ OpenXM パッケージの Make 法
+を御覧下さい.
+RPM, Debian などのパッケージでインストールする場合は
+ Web ページの説明どうりにパッケージをインストールするだけで
+ 設定が終了します.
+
インストールに必要なシステムの仕様については, 動作環境を御覧ください.
*/
/*&eg
***** HOW TO INSTALL OpenXM GENERIC PACKAGE?
In this section, we will explain how to install OpenXM package binary
distribution.
+If you build from the source, see the section
+ * How to make OpenXM package?
+If you install openxm by using RPM or Debian package,
+install the system following the instruction given on our web page.
+
As to the required environment, see the section "System Requirement"
*/
/*&jp
@@ -123,18 +153,21 @@ If you use only OpenXM clients, skip (3) and (3').
*/
/*&jp
-(3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます.
+(3') bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile
+の最後に加えます.
*/
/*&eg
-(3') Append the following line to the end of ~/.bashrc when you are
- using bash as your shell.
+(3') Append the following lines to the end of ~/.bashrc and ~/.bash_profile
+ respectively when you are using bash as your shell.
*/
/*&C
- source /xxx/yyy/OpenXM/rc/dot.bashrc
+ source /xxx/yyy/OpenXM/rc/dot.bashrc (.bashrc)
+ source ~/.bashrc (.bash_profile)
+
*/
/*&jp
@@ -151,39 +184,188 @@ If you use only OpenXM clients, skip (3) and (3').
*/
-//&C
-//&jp (4) asir の利用には key が必要です.
-//&eg (4) You need a key to use asir.
-//&C
-/*&jp
- asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を
- 参照して, key を取得して下さい (数秒しかかかりません).
+/*&C
- Mail の利用ができて, /var/mail の下にメールを着信できれば,
- /xxx/yyy/OpenXM/rc/fetch_asir_key
- を実行することにより asir_key を自動で設定できます.
+ FAQ
*/
+/*&jp
+Q. OpenXM の asir OpenXM client を icon でスタートするには?
+A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます.
+*/
/*&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).
+Q. How to start asir OpenXM clients in the iconic mode?
+A. Add the following line to .Xdefaults or a file you read by xrdb.
+*/
+/*&C
- If you can get your mails under /var/mail, you can automatically set
- your key by executing
- /xxx/yyy/OpenXM/rc/fetch_asir_key
+ ox_xterm*iconic: on
*/
+/*&C
+-------------------------------------------------------------
+
+*/
+/*&jp
+
+★ OpenXM FreeBSD binary パッケージのインストール方法
+ openxm-version.tgz
+ を ftp サイトより copy して,
+ root になって,
+ pkg_add openxm-version.tgz
+ OpenXM は /usr/local/OpenXM にインストールされます.
+
+ ここで version は OpenXM の version 番号で, たとえば,
+ 2000, 3/20(Mon) 版は 1.1.2
+ pkg_add に失敗した場合は, /var のサイズを大きくしてやりなおして
+ みて下さい.
+
+ java および linux emulation が実行に必要です.
+ java が, サーチパスのなかにある必要がありますので,
+ たとえば,
+ set path=(/usr/local/jdk1.1.8 $path)
+ rehash
+ してから, pkg_add して下さい.
+ インストール終了後のメッセージにしたがい, 必要な設定を
+ おこなって下さい.
+
+ 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 にインストールしなかった場合は,
+ (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
+
+ 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
+ If you fail "pkd_add", increase the size of /var
+
+ java and linux emulation are required to run OpenXM packages.
+ Java needs to be in the search path. So, for example, execute pkg_add
+ after
+ set path=(/usr/local/jdk1.1.8 $path)
+ rehash
+ Following the message of pkg_add after the installation,
+ 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,
+ goto (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 にインストールされます.
+
+ ここで version は OpenXM の version 番号で, たとえば,
+ 2000, 3/20(Mon) 版は 1.1.2
+ suffix は, RPM 版の minor version number.
+
+ /usr/local の下へインストールしなかった場合は, (2) を実行して下さい.
+
+ libgd のインストールが必要な場合もあります.
+ libgd がインストールしてない場合,
+ http://www.redhat.com/downloads へアクセスし, libgd をインストール
+ して下さい.
+
+*/
+/*&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
+
+ 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 do not install under /usr/local, goto (2).
+
+
+ You might need to install libgd.
+ If it is not installed in your system, access to
+ http://www.redhat.com/downloads and get libgd.
+*/
+
/*&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:
- the following modules and functions have still experimental qualities:
+ Experimental:
OpenXM/bin/k0, OpenXM/bin/d0
- OpenXM/bin/ox_math, OpenXM/bin/math2ox
- OpenXM/lib/java-support/ *
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 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
@@ -202,6 +384,10 @@ csh を利用している場合, .cshrc で
set path=(/usr/local/jdk1.1.8/bin $path)
として, 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
toByteArray が含まれてないため, OpenMath モジュールでは使用できません.
@@ -218,6 +404,12 @@ Bash users put the following line to .bashrc
PATH=/usr/local/jdk1.1.8/bin:$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:
The Java interpreter of Kaffe 1.0.b4 does not contain the method
toByteArray in the class BigInteger.
@@ -226,9 +418,9 @@ So, it cannot be used for the OpenMath module.
/*&C
+--------------------------------------------------------
-
*/
/*&jp
★ 動作環境
@@ -240,7 +432,7 @@ So, it cannot be used for the OpenMath module.
*/
/*&C
-OS: FreeBSD 3.3 (Intel CPU),
+OS: FreeBSD 3.3, 3.4, 4.x (Intel CPU),
Linux systems (Intel CPU):
Most Linux with libc5 and with libc6 (glibc 2.x).
@@ -260,7 +452,7 @@ OS package.
*/
/*&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
OpenXM/bin/math2ox [ see http://www.wolfram.com ]
Asir client functions m_*
@@ -302,6 +494,12 @@ The installation is completed.
*/
+/*&C
+
+-----------------------------------------------------
+
+*/
+
/*&jp
★ 文書
@@ -319,6 +517,15 @@ The installation is completed.
を見て下さい.
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
***** DOCUMENTS
@@ -338,6 +545,15 @@ The installation is completed.
Dvi files can be previewed by xdvi and
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.
+
*/
@@ -411,6 +627,10 @@ OpenXM/Copyright を御覧ください.
See OpenXM/Copyright.
*/
+//&C
+//&C ----------------------------------------------
+//&C
+
/*&eg
@@ -422,26 +642,46 @@ See OpenXM/Copyright.
★ OpenXM パッケージの Make 法
- FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます.
- Linux glib6 では, いまのところ, /usr/include/features.h
- で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが,
+ FreeBSD 3.x, FreeBSD 4.x, Linux で動作するものと期待してます.
+ (Linux glib6 では, いまのところ, /usr/include/features.h
+ で #define __FAVOR_BSD 1 してコンパイルする必要がありしたが,
一部のソースを
-D_BSD_SOURCE option をつけて gcc でコンパイルするように変えてます
- (setjmp と sigsetjmp の問題, dirty trick).
+ (setjmp と sigsetjmp の問題, dirty trick) 現在では問題ありません. )
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 コミッタの場合次のようにしてソースをとりよせます.
*/
/*&eg
* How to make OpenXM package?
- We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux.
- On Linux glib6, we needed to define
+ We have tested the OpenXM package on FreeBSD 3.x, FreeBSD 4.x, Linux.
+ (On Linux glib6, we needed to define
#define __FAVOR_BSD 1
in /usr/include/features.h,
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?
+ 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:
*/
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2
@@ -461,7 +701,7 @@ OpenXM/src/OpenMath のコンパイルおよび利用には
には, jdk (java 環境) が必要です.
Documents を生成するには, tex, ptex (ascii 日本語 tex), dvips, texinfo,
-texi2html, nkf,
+texi2html, nkf, jlatex2html
が必要です. 詳しくは Makefiles を見て下さい.
Document は, binary distribution の OpenXM/doc, OpenXM/lib
より得るのが簡単です.
@@ -472,7 +712,7 @@ you need jdk (java environment).
In order to generate the full documentation including Japanese documents,
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
in the binary distribution.
If you do not like to install Japanese environment such as ptex,
@@ -482,30 +722,120 @@ prepare empty shell scripts ptex and nkf.
/*&C
*/
+
+/*&eg
+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).
+*/
/*&jp
-
- OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを
- 富士通より受ける必要があります),
- OpenXM/src/Makefile の各モジュール名 たとえば
- make all-kan96xx
- などと各モジュール名を指定してコンパイルして下さい.
+システムを動かすには, OpenXM/rc/dot.cshrc または
+OpenXM/rc/dot.bashrc を source コマンドで
+よみこみ環境変数の値を適切に設定する必要があります.
- または
- OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて
- 下さい.
+コマンド
+ cd OpenXM/rc
+ make
+で dot.cshrc および dot.bashrc が生成されます.
+これらのファイルを source コマンドで,
+.cshrc または .bashrc (または .bash_profile) より読むようにして下さい.
+*/
+/*&C
*/
+
+//&C ---------------------------------------------------------
+
/*&eg
-
- If you cannot get a source liscence of OpenXM_contrib2/asir2000
- from Fujitsu labs,
- compile each modules independently, e.g.,
- make all-kan96xx
+***** How to generate a subset of the full OpenXM package
+ from the head branch.
+ * The souce tarball of the head branch is at
+ ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz
+ Get this tarball by the ftp command. Extract the directories
+ OpenXM OpenXM_contrib OpenXM_contrib2
+ by
+ tar xzvf openxm-head.tar.gz
+*/
+/*&jp
+★ OpenXM package の一部分のみ生成する方法 (head branch より).
+ * Head ブランチの tarball は
+ ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz
+ にあります. これを ftp で取得してから
+ tar xzvf openxm-head.tar.gz
+ を展開してください.
+ OpenXM OpenXM_contrib OpenXM_contrib2 が作成されます.
+*/
+/*&C
- Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000.
+*/
+/*&eg
+ [Subpackage asir] If you want to generate only Risa/Asir,
+ type in as follows.
+*/
+/*&jp
+ [部分パッケージ asir] Risa/Asir のみを生成したい場合は,
+ つぎのように入力します.
+*/
+/*&C
+ (cd OpenXM/src ; make install-asir)
+ (cd OpenXM/rc ; make )
+
*/
+/*&eg
+ Copy the shell script "asir" at OpenXM/rc in your search path, e.g.,
+ /usr/local/bin or ~/bin
+ Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source
+ command from your ~/.bashrc or ~/.cshrc.
+*/
+/*&jp
+ OpenXM/rc の下のシェルスクリプト "asir" をサーチパスにコピーして
+ ください (たとえば, /usr/local/bin or ~/bin へ).
+ または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を
+ source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください.
+*/
+/*&C
+*/
+/*&eg
+ [Subpackage kan-ox] If you want to generate only kan/k0, kan/sm1 and asir
+ type in as follows.
+*/
+/*&jp
+ [部分パッケージ kan-ox] Kan/k0, Kan/sm1, asir のみを生成したい場合は,
+ つぎのように入力します.
+*/
+/*&C
+
+ (cd OpenXM/src ; make install-kan-ox)
+ (cd OpenXM/rc ; make )
+
+*/
+/*&eg
+ Copy the shell script "asir", "sm1" and "openxm" at OpenXM/rc
+ to your search path, e.g.,
+ /usr/local/bin or ~/bin
+ Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source
+ command from your ~/.bashrc or ~/.cshrc.
+*/
+/*&jp
+ OpenXM/rc の下のシェルスクリプト "asir", "sm1", "openxm" を
+ サーチパスにコピーして
+ ください (たとえば, /usr/local/bin or ~/bin へ).
+ または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を
+ source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください.
+*/
+
+//&C
+//&C ------------------------------------------------------
+//&C
/*&jp
[OpenXM 下のファイルの構成メモ]
@@ -588,7 +918,20 @@ Solaris でコンパイルするには, /usr/ccs/bin をサーチパ�
/usr/ccs/bin must be at the top of the command search path to compile
on Solaris.
*/
+/*&jp
+★ Redhat Linux 6.1 上でのコンパイル
+m4-1.4 と autoconf-2.13 が必要.
+(あらかじめはいっている, autoconf は 2.12 でありこれは
+ gnuplot の make で不具合を生じます.)
+
+*/
+/*&eg
+***** COMPILE ON Redhat Linux 6.1
+m4-1.4 and autoconf-2.13 are required.
+(Preinstalled autoconf is version 2.12. It causes a trouble when
+ you build gnuplot.)
+*/
/*&C