| version 1.5, 2000/01/18 12:41:13 |
version 1.7, 2000/01/20 03:14:07 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.4 2000/01/07 22:24:17 maekawa Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.6 2000/01/19 12:57:39 takayama Exp $ |
| OpenXM/doc/install.oxweave |
OpenXM/doc/install.oxweave |
| |
|
| |
/*&C |
| |
OpenXM URL : http://www.math.kobe-u.ac.jp/OpenXM |
| |
|
| |
OpenXM package : Getting started. |
| |
|
| |
*/ |
| /*&jp |
/*&jp |
| ★ OpenXM パッケージの Make 法 |
★ OpenXM パッケージの利用方法 |
| FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
この節では, OpenXM package binary distribution のインストール法を説明します. |
| OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
インストールに必要なシステムの仕様については, 動作環境を御覧ください. |
| cvs コミッタの場合次のようにしてソースをとりよせます. |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| * How to make OpenXM package? |
***** HOW TO USE OpenXM PACKAGE? |
| We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
In this section, we will explain how to install OpenXM package binary |
| Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
distribution. |
| If you are a CVS committer, then you can get all sources as follows: |
As to the required environment, see the section "System Requirement" |
| */ |
*/ |
| //&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
/*&jp |
| //&C |
|
| //&jp これらがそろっていたらあとは次のように入力するだけです. |
|
| //&eg Check that you have these directories, then just type in the following commands |
|
| /*&C |
|
| |
|
| cd OpenXM/src |
(1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. |
| make configure |
OpenXM はどこにおいてもかまいません. |
| make |
|
| make install |
*/ |
| |
/*&eg |
| |
|
| |
(1) Extract the directory OpenXM from the tar ball. |
| |
You can put the directory OpenXM at any place in the file system. |
| |
|
| */ |
*/ |
| /*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が, |
/*&C |
| OpenXM/src/OpenMath のコンパイルおよび利用には |
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
| には, jdk (java 環境) が必要です. |
|
| */ |
*/ |
| /*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica. |
/*&jp |
| In order to use and compile OpenXM/src/OpenMath, |
以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM |
| you need jdk (java environment). |
と書きます. |
| |
|
| */ |
*/ |
| /*&C |
/*&eg |
| |
In the sequel, we will denote the absolute path of the directory OpenXM |
| |
by /xxx/yyy/OpenXM. |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって |
(2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc |
| おきます. |
ファイルを自動生成します. |
| |
これらのファイルには, OpenXM/bin のファイルを実行するための |
| |
環境変数が定義されています. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| /usr/ccs/bin must be at the top of the command search path to compile |
(2) Generate OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc |
| on Solaris. |
by the following command. |
| |
Environmental variables to execute commands in OpenXM/bin |
| |
are defined in these files. |
| |
|
| */ |
*/ |
| /*& |
/*&C |
| |
|
| |
cd /xxx/yyy/OpenXM |
| |
make |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| ★ OpenXM パッケージの利用方法 |
(3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. |
| OpenXM をホームの直下に展開した場合, 次のようにします. |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| * How to use the OpenXM package? |
(3) Append the following line to the end of ~/.cshrc when you are |
| If you have OpenXM under your home directory, do as follows. |
using csh as your shell. |
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| cp OpenXM/rc/asirrc ~/.asirrc |
source /xxx/yyy/OpenXM/rc/dot.cshrc |
| source OpenXM/rc/bashrc (in case of bash) |
|
| source OpenXM/rc/cshrc (in case of csh) |
|
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| OpenXM をホームの直下に展開してない場合は OpenXM/rc/bashrc, OpenXM/rc/cshrc を |
(3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます. |
| 適当に変更して使用してください. |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| If you have OpenXM in a different place, edit OpenXM/rc/bashrc or |
(3') Append the following line to the end of ~/.bashrc when you are |
| OpenXM/rc/cshrc properly. |
using bash as your shell. |
| |
|
| */ |
*/ |
| |
/*&C |
| |
|
| |
source /xxx/yyy/OpenXM/rc/dot.bash |
| |
|
| |
*/ |
| |
|
| //&C |
//&C |
| //&jp asir の利用には key が必要です. 以下のファイルを御覧ください. |
//&jp (4) asir の利用には key が必要です. 以下のファイルを御覧ください. |
| //&eg You need key to use asir. See the following file: |
//&eg (5) You need key to use asir. See the following file: |
| //&C OpenXM/lib/asir/asir_key |
//&C OpenXM/lib/asir/asir_key |
| //&C |
//&C |
| |
|
| |
/*&C |
| |
QUALITY: |
| |
the following functions have still experimental qualities: |
| |
OpenXM/bin/k0, OpenXM/bin/d0 |
| |
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
| |
OpenXM/lib/java-support/ * |
| |
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
| |
*/ |
| |
/*&C |
| |
|
| |
|
| |
|
| |
|
| |
*/ |
| /*&jp |
/*&jp |
| |
★ 動作環境 |
| |
|
| |
*/ |
| |
/*&eg |
| |
***** SYSTEM REQUIREMENTS |
| |
|
| |
*/ |
| |
/*&C |
| |
|
| |
OS: FreeBSD 3.3, |
| |
Linux systems (Plamo Linux on Linux 2.0.33, glibc5, ) |
| |
|
| |
X window system is required. |
| |
|
| |
Most part of the OpenXM package may work on other versions of |
| |
FreeBSD and Linux versions, but we have not yet tested. |
| |
|
| |
*/ |
| |
/*&jp |
| |
次の module は, OS の標準 distribution 以外に, さらに下に記したソフトを |
| |
必要とします. |
| |
*/ |
| |
/*&eg |
| |
The following modules require the listed softwares other than the standard |
| |
OS package. |
| |
*/ |
| |
/*&C |
| |
|
| |
(1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x |
| |
(Mathematica server) at /usr/local/Mathematica |
| |
OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
| |
Asir client functions m_* |
| |
(2) OpenXM/lib/java-support : JDK at /usr/local/jdk?? |
| |
Asir client functions om_* |
| |
sm1 client functions om_* |
| |
(3) PHC pack (OpenXM/bin/phc) and asir client functions |
| |
phc_* run only on linux (glib5). |
| |
If you install the linux emulation on Free BSD, they run on |
| |
FreeBSD, too. (In this case, generate OpenXM/bin/phc by hand.) |
| |
|
| |
*/ |
| |
|
| |
|
| |
/*&jp |
| |
日本語版の注意. |
| 注意 1. |
注意 1. |
| asir で日本語のヘルプを利用するには, |
asir で日本語のヘルプを利用するには, |
| PAGER=jless |
PAGER=jless |
| export PAGER |
export PAGER |
| などで, 日本語を扱える PAGER を指定する必要があるかもしれません. |
などで, 日本語を扱える PAGER を指定する必要があるかもしれません. |
| 注意 2. |
|
| OpenMath 用の OMproxy には現在のところ, jdk が必要です. |
|
| PATH=/usr/local/jdk1.1.8/bin:$PATH |
|
| export PATH |
|
| などとして, jdk の javac をサーチパスの先のほうへもっていくようにして |
|
| ください. |
|
| */ |
*/ |
| |
|
| |
/*&eg |
| |
|
| |
The install is completed. |
| |
|
| |
*/ |
| /*&jp |
/*&jp |
| |
|
| 以上. 以下の使用例へ進んで下さい. |
以上. |
| |
|
| ★(1) asir のマニュアルは, |
*/ |
| OpenXM_contrib2/asir2000/doc の README を見てね. |
|
| (2) asir-contrib のマニュアルは, |
|
| OpenXM/src/asir-contrib/packages/doc で make したあと, |
|
| ptex cman.texi (日本語) |
|
| tex cman-eg.texi (英語) |
|
| すればよろしい. |
|
| Online manual : ox_help(xxx) を利用するには, |
|
| (cd OpenXM/src/asir-contrib/packages/doc ; make install-help) |
|
| とします. |
|
| |
|
| |
/*&jp |
| |
★ 文書 |
| |
|
| |
OpenXM パッケージでもっとも充実しているクライアントは, |
| |
asir です. |
| |
asir のつかいかたは |
| |
OpenXM/doc/asir2000/man-jp.dvi |
| |
または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい. |
| |
asir 用 OpenXM クライアントライブラリのつかい方は, |
| |
OpenXM/doc/asir-contrib/cman-jp.dvi |
| |
を見て下さい. dvi の付くファイルは xdvi で見ることができます. |
| |
|
| |
OpenXM の設計の概要については, |
| |
OpenXM/doc/issac2000/issac2000.ps |
| |
を見て下さい. |
| |
ps の付くファイルは, ghostview で見ることができます. |
| |
|
| |
*/ |
| |
/*&eg |
| |
***** DOCUMENTS |
| |
|
| |
The best OpenXM client in the OpenXM package is now |
| |
asir. |
| |
Documents on asir are |
| |
OpenXM/doc/asir2000/man-eg.dvi |
| |
OpenXM/doc/asir2000/html-eg (HTML) |
| |
|
| |
The file |
| |
OpenXM/doc/asir-contrib/cman-eg.dvi |
| |
is a document on OpenXM client libraries for asir. |
| |
|
| |
The design outline is described in |
| |
OpenXM/doc/issac2000/issac2000.ps |
| |
|
| |
Dvi files can be previewed by xdvi and |
| |
ps files can be previewed by ghostview. |
| |
*/ |
| |
|
| |
|
| |
/*&jp |
| 注意: |
注意: |
| $OpenXM_HOME/bin の下の, fep, phc は, いまのところ |
$OpenXM_HOME/bin の下の, fep, phc は, いまのところ |
| linux 用のバイナリまたはバイナリへのシンボリックリンクです. |
linux 用のバイナリまたはバイナリへのシンボリックリンクです. |
| Linux 以外の場合はバイナリを入れ換える必要があります. |
Linux 以外の場合はバイナリを入れ換える必要があります. |
| |
|
| Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt |
|
| を見てください. |
|
| |
|
| --------------- インストール完了 --------------------------- |
|
| |
|
| ★使用例 |
★使用例 |
| |
|
|
|
| |
|
| [著作権表示] |
[著作権表示] |
| OpenXM/Copyright を御覧ください. |
OpenXM/Copyright を御覧ください. |
| |
*/ |
| |
|
| OpenXM : url http://www.math.kobe-u.ac.jp/OpenXM |
/*&C |
| cvs cite : kerberos.math.kobe-u.ac.jp |
|
| sm1 : 作者 Nobuki Takayama, url http://www.math.kobe-u.ac.jp/KAN, |
|
| asir : 作者 url |
|
| ライセンス形態 ?? |
|
| gnuplot : 作者 url |
|
| ライセンス形態 GPL? |
|
| phc : 作者 Jan Verschelde, url |
|
| ライセンス形態 ?? |
|
| tigers : 作者 Birk Hubert, url |
|
| ライセンス形態 ?? |
|
| |
|
| |
|
| |
*/ |
| |
/*&jp |
| |
★ OpenXM パッケージの Make 法 |
| |
FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
| |
OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
| |
cvs コミッタの場合次のようにしてソースをとりよせます. |
| |
*/ |
| |
/*&eg |
| |
* How to make OpenXM package? |
| |
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
| |
Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
| |
If you are a CVS committer, then you can get all sources as follows: |
| |
*/ |
| |
//&C rcvs checkout OpenXM OpenXM_contrib OpenXM_contrib2 |
| |
//&C |
| |
//&jp これらがそろっていたらあとは次のように入力するだけです. |
| |
//&eg Check that you have these directories, then just type in the following commands |
| |
/*&C |
| |
|
| |
cd OpenXM/src |
| |
make configure |
| |
make |
| |
make install |
| |
|
| |
*/ |
| |
/*&jp なお, OpenXM/src/ox_math のコンパイルおよび利用には Mathematica が, |
| |
OpenXM/src/OpenMath のコンパイルおよび利用には |
| |
には, jdk (java 環境) が必要です. |
| |
*/ |
| |
/*&eg In order to use and compile OpenXM/src/ox_math, you need Mathematica. |
| |
In order to use and compile OpenXM/src/OpenMath, |
| |
you need jdk (java environment). |
| |
*/ |
| |
/*&C |
| |
|
| |
*/ |
| |
/*&jp |
| |
Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって |
| |
おきます. |
| |
*/ |
| |
/*&eg |
| |
/usr/ccs/bin must be at the top of the command search path to compile |
| |
on Solaris. |
| |
*/ |
| |
|
| |
/*&jp |
| [OpenXM についての連絡先] |
[OpenXM についての連絡先] |
| takayama@math.sci.kobe-u.ac.jp |
takayama@math.sci.kobe-u.ac.jp |
| |
|
| Line 238 rcvs export -rHEAD OpenXM |
|
| Line 387 rcvs export -rHEAD OpenXM |
|
| rcvs export -rHEAD OpenXM_contrib |
rcvs export -rHEAD OpenXM_contrib |
| rcvs export -rHEAD OpenXM_contrib2 |
rcvs export -rHEAD OpenXM_contrib2 |
| して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
| |
*/ |
| |
|
| |
/*&C |
| |
|
| |
*/ |
| |
/*&jp |
| |
|
| |
★ Solaris に関する注意. |
| |
Solaris ではまだ問題が山積してます. |
| |
Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt |
| |
を見てください. |
| |
|
| |
*/ |
| |
|
| |
/*&C |
| |
|
| |
*/ |
| |
/*&jp |
| |
★ Java に関する注意: |
| |
注意 1. |
| |
OpenMath 用の OMproxy には現在のところ, jdk が必要です. |
| |
bash を利用している場合, .bashrc で |
| |
PATH=/usr/local/jdk1.1.8/bin:$PATH |
| |
export PATH |
| |
などとして, jdk の javac をサーチパスの先のほうへもっていくようにして |
| |
ください. |
| |
*/ |
| |
/*&eg |
| |
***** JAVA |
| |
In order to use OMproxy, asir client om_*, |
| |
you need to install JDK. |
| |
The bin dir of the JDK must be in yur search path. |
| |
For example, you need to add the following line |
| |
to your .chsrc |
| |
set path=(/usr/local/jdk1.1.8/bin $path) |
| */ |
*/ |
![[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