| version 1.34, 2000/09/05 11:57:04 |
version 1.38, 2000/09/25 07:12:41 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.33 2000/09/05 08:24:34 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.37 2000/09/23 07:28:11 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 311 A. Add the following line to .Xdefaults or a file you |
|
| Line 322 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 330 set path=(/usr/local/jdk1.1.8/bin $path) |
|
| Line 350 set path=(/usr/local/jdk1.1.8/bin $path) |
|
| として, jdk の java, javac をサーチパスにいれます. |
として, jdk の java, javac をサーチパスにいれます. |
| |
|
| jdk の入手先: FreeBSD --- /usr/ports/java/jdk を見てください. |
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 |
なお, Kaffe 1.0.b4 の java は, class BigInteger に method |
|
|
| |
|
| |
|
| Where can I get jdk? : FreeBSD --- see /usr/ports/java/jdk |
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: |
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 574 See OpenXM/Copyright. |
|
| Line 597 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 613 OpenXM/src/OpenMath のコンパイルおよび利用には |
|
| Line 656 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 624 you need jdk (java environment). |
|
| Line 667 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 |
| |
|
![[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