=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.32 retrieving revision 1.39 diff -u -p -r1.32 -r1.39 --- OpenXM/doc/install.oxweave 2000/04/10 02:29:40 1.32 +++ OpenXM/doc/install.oxweave 2000/11/30 12:45:13 1.39 @@ -1,23 +1,31 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.31 2000/04/03 05:59:01 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.38 2000/09/25 07:12:41 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) + */ /*&jp ★ OpenXM GENERIC パッケージの利用方法 この節では, OpenXM package binary distribution のインストール法を説明します. +ソースからインストールする場合は + ★ OpenXM パッケージの Make 法 +を御覧下さい. インストールに必要なシステムの仕様については, 動作環境を御覧ください. */ /*&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? As to the required environment, see the section "System Requirement" */ /*&jp @@ -123,18 +131,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,37 +162,6 @@ 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 を取得して下さい (数秒しかかかりません). - - 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. - -*/ /*&C FAQ @@ -211,6 +191,8 @@ A. Add the following line to .Xdefaults or a file you あとは, 上の (4) へ. ここで version は OpenXM の version 番号で, たとえば, 2000, 3/20(Mon) 版は 1.1.2 + pkg_add に失敗した場合は, /var のサイズを大きくしてやりなおして + みて下さい. java および linux emulation が実行に必要です. java が, サーチパスのなかにある必要がありますので, @@ -221,6 +203,16 @@ A. Add the following line to .Xdefaults or a file you インストール終了後のメッセージにしたがい, 必要な設定を おこなって下さい. + 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) を実行して下さい. @@ -238,6 +230,7 @@ A. Add the following line to .Xdefaults or a file you 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 @@ -245,7 +238,15 @@ A. Add the following line to .Xdefaults or a file you set path=(/usr/local/jdk1.1.8 $path) rehash 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, goto (2). @@ -266,11 +267,13 @@ A. Add the following line to .Xdefaults or a file you 2000, 3/20(Mon) 版は 1.1.2 suffix は, RPM 版の minor version number. - Debian を利用している場合, コマンド alien で, rpm 形式を deb 形式に - 変換できます. - /usr/local の下へインストールしなかった場合は, (2) を実行して下さい. + libgd のインストールが必要な場合もあります. + libgd がインストールしてない場合, + http://www.redhat.com/downloads へアクセスし, libgd をインストール + して下さい. + */ /*&eg @@ -289,12 +292,12 @@ A. Add the following line to .Xdefaults or a file you 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. - 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 @@ -321,6 +324,15 @@ A. Add the following line to .Xdefaults or a file you 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 @@ -339,6 +351,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 モジュールでは使用できません. @@ -355,6 +371,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. @@ -377,7 +399,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). @@ -577,26 +599,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 @@ -616,7 +658,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 より得るのが簡単です. @@ -627,7 +669,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, @@ -637,27 +679,32 @@ prepare empty shell scripts ptex and nkf. /*&C */ -/*&jp - - OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを - 富士通より受ける必要があります), - OpenXM/src/Makefile の各モジュール名 たとえば - make all-kan96xx - などと各モジュール名を指定してコンパイルして下さい. - または - OpenXM/src/asir2000 の Makefile を Makefile.forSkip に置き換えて - 下さい. +/*&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). */ -/*&eg - - If you cannot get a source liscence of OpenXM_contrib2/asir2000 - from Fujitsu labs, - compile each modules independently, e.g., - make all-kan96xx +/*&jp +システムを動かすには, OpenXM/rc/dot.cshrc または +OpenXM/rc/dot.bashrc を source コマンドで +よみこみ環境変数の値を適切に設定する必要があります. - Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. +コマンド + cd OpenXM/rc + make +で dot.cshrc および dot.bashrc が生成されます. +これらのファイルを source コマンドで, +.cshrc または .bashrc (または .bash_profile) より読むようにして下さい. +*/ +/*&C */