| version 1.33, 2000/09/05 08:24:34 |
version 1.36, 2000/09/21 08:06:39 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.32 2000/04/10 02:29:40 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.35 2000/09/20 06:05:46 takayama Exp $ |
| OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
| |
|
| /*&C |
/*&C |
| OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM |
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 |
Consult firstly the ERRATA section for your release on this web cite |
| for troubles. |
for troubles. |
| |
|
| OpenXM package : Getting started. |
OpenXM package : Getting started. |
| |
|
| |
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 190 A. Add the following line to .Xdefaults or a file you |
|
| Line 198 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 にインストールしなかった場合は, |
/usr/local にインストールしなかった場合は, |
| (2) を実行して下さい. |
(2) を実行して下さい. |
| |
|
| Line 214 A. Add the following line to .Xdefaults or a file you |
|
| Line 232 A. Add the following line to .Xdefaults or a file you |
|
| set path=(/usr/local/jdk1.1.8 $path) |
set path=(/usr/local/jdk1.1.8 $path) |
| rehash |
rehash |
| Following the message of pkg_add after the installation, |
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, |
If you do not install under /usr/local, |
| goto (2). |
goto (2). |
| |
|
| Line 308 csh を利用している場合, .cshrc で |
|
| Line 334 csh を利用している場合, .cshrc で |
|
| set path=(/usr/local/jdk1.1.8/bin $path) |
set path=(/usr/local/jdk1.1.8/bin $path) |
| として, jdk の java, javac をサーチパスにいれます. |
として, jdk の java, javac をサーチパスにいれます. |
| |
|
| jdk の入手先: FreeBSD --- package lang の下にあります. |
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 |
| Line 328 PATH=/usr/local/jdk1.1.8/bin:$PATH |
|
| Line 355 PATH=/usr/local/jdk1.1.8/bin:$PATH |
|
| export PATH |
export PATH |
| |
|
| |
|
| Where can I get jdk? : FreeBSD --- jdk is under the package/lang |
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 353 So, it cannot be used for the OpenMath module. |
|
| Line 382 So, it cannot be used for the OpenMath module. |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| OS: FreeBSD 3.3 (Intel CPU), |
OS: FreeBSD 3.3, 3.4, 4.x (Intel CPU), |
| Linux systems (Intel CPU): |
Linux systems (Intel CPU): |
| Most Linux with libc5 and with libc6 (glibc 2.x). |
Most Linux with libc5 and with libc6 (glibc 2.x). |
| |
|
| Line 553 See OpenXM/Copyright. |
|
| Line 582 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 592 OpenXM/src/OpenMath のコンパイルおよび利用には |
|
| Line 641 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 603 you need jdk (java environment). |
|
| Line 652 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