version 1.35, 2000/09/20 06:05:46 |
version 1.39, 2000/11/30 12:45:13 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.34 2000/09/05 11:57:04 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.38 2000/09/25 07:12:41 takayama Exp $ |
OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
|
|
/*&C |
/*&C |
Line 15 This document is for OpenXM version 1.1.3. (Draft) |
|
Line 15 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 126 If you use only OpenXM clients, skip (3) and (3'). |
|
Line 131 If you use only OpenXM clients, skip (3) and (3'). |
|
|
|
*/ |
*/ |
/*&jp |
/*&jp |
(3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます. |
(3') bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile |
|
の最後に加えます. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
(3') Append the following line to the end of ~/.bashrc when you are |
(3') Append the following lines to the end of ~/.bashrc and ~/.bash_profile |
using bash as your shell. |
respectively when you are using bash as your shell. |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
source /xxx/yyy/OpenXM/rc/dot.bashrc |
source /xxx/yyy/OpenXM/rc/dot.bashrc (.bashrc) |
|
|
|
source ~/.bashrc (.bash_profile) |
|
|
*/ |
*/ |
|
|
/*&jp |
/*&jp |
Line 183 A. Add the following line to .Xdefaults or a file you |
|
Line 191 A. Add the following line to .Xdefaults or a file you |
|
あとは, 上の (4) へ. |
あとは, 上の (4) へ. |
ここで version は OpenXM の version 番号で, たとえば, |
ここで version は OpenXM の version 番号で, たとえば, |
2000, 3/20(Mon) 版は 1.1.2 |
2000, 3/20(Mon) 版は 1.1.2 |
|
pkg_add に失敗した場合は, /var のサイズを大きくしてやりなおして |
|
みて下さい. |
|
|
java および linux emulation が実行に必要です. |
java および linux emulation が実行に必要です. |
java が, サーチパスのなかにある必要がありますので, |
java が, サーチパスのなかにある必要がありますので, |
Line 220 A. Add the following line to .Xdefaults or a file you |
|
Line 230 A. Add the following line to .Xdefaults or a file you |
|
Here, version is the version number of OpenXM. |
Here, version is the version number of OpenXM. |
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
is 1.1.2 |
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 and linux emulation are required to run OpenXM packages. |
Java needs to be in the search path. So, for example, execute pkg_add |
Java needs to be in the search path. So, for example, execute pkg_add |
Line 256 A. Add the following line to .Xdefaults or a file you |
|
Line 267 A. Add the following line to .Xdefaults or a file you |
|
2000, 3/20(Mon) 版は 1.1.2 |
2000, 3/20(Mon) 版は 1.1.2 |
suffix は, RPM 版の minor version number. |
suffix は, RPM 版の minor version number. |
|
|
Debian を利用している場合, コマンド alien で, rpm 形式を deb 形式に |
|
変換できます. |
|
|
|
/usr/local の下へインストールしなかった場合は, (2) を実行して下さい. |
/usr/local の下へインストールしなかった場合は, (2) を実行して下さい. |
|
|
|
libgd のインストールが必要な場合もあります. |
|
libgd がインストールしてない場合, |
|
http://www.redhat.com/downloads へアクセスし, libgd をインストール |
|
して下さい. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
|
|
Line 279 A. Add the following line to .Xdefaults or a file you |
|
Line 292 A. Add the following line to .Xdefaults or a file you |
|
is 1.1.2 |
is 1.1.2 |
suffix is the minor version number of the package. |
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). |
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 |
Line 311 A. Add the following line to .Xdefaults or a file you |
|
Line 324 A. Add the following line to .Xdefaults or a file you |
|
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 577 See OpenXM/Copyright. |
|
Line 599 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 616 OpenXM/src/OpenMath のコンパイルおよび利用には |
|
Line 658 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 627 you need jdk (java environment). |
|
Line 669 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, |
type in R for the tex error prompt ? or |
type in R for the tex error prompt ? or |
prepare empty shell scripts ptex and nkf. |
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 |
/*&C |
|
|