=================================================================== RCS file: /home/cvs/OpenXM/doc/install.oxweave,v retrieving revision 1.34 retrieving revision 1.39 diff -u -p -r1.34 -r1.39 --- OpenXM/doc/install.oxweave 2000/09/05 11:57:04 1.34 +++ OpenXM/doc/install.oxweave 2000/11/30 12:45:13 1.39 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/doc/install.oxweave,v 1.33 2000/09/05 08:24:34 takayama Exp $ +%% $OpenXM: OpenXM/doc/install.oxweave,v 1.38 2000/09/25 07:12:41 takayama Exp $ OpenXM/doc/install.oxweave /*&C @@ -15,12 +15,17 @@ 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 @@ -126,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 @@ -183,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 が, サーチパスのなかにある必要がありますので, @@ -220,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 @@ -256,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 @@ -279,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 @@ -311,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 @@ -330,7 +352,8 @@ set path=(/usr/local/jdk1.1.8/bin $path) として, jdk の java, javac をサーチパスにいれます. jdk の入手先: FreeBSD --- /usr/ports/java/jdk を見てください. - Linux --- + 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 @@ -350,8 +373,10 @@ export PATH Where can I get jdk? : FreeBSD --- see /usr/ports/java/jdk - Linux --- + 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. @@ -574,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 @@ -613,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 より得るのが簡単です. @@ -624,12 +669,40 @@ 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, type in R for the tex error prompt ? or 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/rc/dot.cshrc または +OpenXM/rc/dot.bashrc を source コマンドで +よみこみ環境変数の値を適切に設定する必要があります. + +コマンド + cd OpenXM/rc + make +で dot.cshrc および dot.bashrc が生成されます. +これらのファイルを source コマンドで, +.cshrc または .bashrc (または .bash_profile) より読むようにして下さい. */ /*&C