version 1.19, 2000/01/27 01:13:17 |
version 1.52, 2009/02/22 17:30:02 |
|
|
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.18 2000/01/26 07:48:10 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.51 2008/06/03 00:24:49 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 |
Consult firstly the ERRATA section for your release on this web cite |
http://www.openxm.org |
for troubles. |
|
|
|
OpenXM package : Getting started. |
|
|
|
*/ |
*/ |
|
|
/*&jp |
/*&jp |
★ OpenXM パッケージの利用方法 |
|
この節では, OpenXM package binary distribution のインストール法を説明します. |
|
インストールに必要なシステムの仕様については, 動作環境を御覧ください. |
|
*/ |
|
/*&eg |
|
***** HOW TO USE OpenXM PACKAGE? |
|
In this section, we will explain how to install OpenXM package binary |
|
distribution. |
|
As to the required environment, see the section "System Requirement" |
|
*/ |
|
/*&jp |
|
|
|
(1) Tar ボールより次のようにしてディレクトリ OpenXM を取り出します. |
------------ ソースからコンパイルしてインストールする方法 ---- |
OpenXM はどこにおいてもかまいません. ルートになってインストール |
|
する必要もありません. |
|
できれば, /usr/local/OpenXM においてほしいと思います. |
|
|
|
*/ |
|
/*&eg |
|
|
|
(1) Extract the directory OpenXM from the tar ball. |
(cd OpenXM/src ; make install) |
You can put the directory OpenXM at any place in the file system. |
バイナリとライブラリとドキュメント類は |
You do not need to be a root to install it. |
OpenXM/bin, OpenXM/lib, OpenXM/doc |
We are happy if you put OpenXM at /usr/local/OpenXM |
にインストールされます. |
|
(cd OpenXM/rc ; make install) |
|
"asir", "sm1", ... などのシェルスクリプトが生成されて |
|
/usr/local/bin |
|
にコピーされます. |
|
この部分は root で実行してください. |
|
|
*/ |
|
/*&C |
|
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
|
|
|
*/ |
たとえば openxm asir と入力して, asir がスタートすればインストール |
/*&jp |
はうまくいっていると思われます. |
以下 (1) で生成されたディレクトリ OpenXM の絶対パスを /xxx/yyy/OpenXM |
|
と書きます. |
|
|
|
|
なお一部のソースは ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc より |
|
OpenXM_dist に make 中に wget コマンドでダウンロードされます. |
|
したがって, make するときは |
|
インターネットに接続されている必要があります. |
|
|
|
ファイアウオール内でもし passive ftp が使えない場合は, |
|
環境変数 ftp_proxy を正しく設定すればうまくいく場合があるかもしれません. |
|
詳しくは wget のマニュアルを見てください. |
|
ダウンロードしたライブラリのソースは |
|
OpenXM_dist ( OpenXM と並列した場所です ) に格納されます. |
|
ここに手動で必要なライブラリのソースをおいとけば, offline でも |
|
コンパイル可能です. |
|
|
*/ |
*/ |
|
|
/*&eg |
/*&eg |
In the sequel, we will denote the absolute path of the directory OpenXM |
|
by /xxx/yyy/OpenXM. |
|
|
|
|
OpenXM package : Getting started. |
|
|
|
|
|
----------- An instruction for a quick installation from the source code --- |
|
|
|
(cd OpenXM/src ; make install) |
|
You will get binaries, libraries, and documents under |
|
OpenXM/bin, OpenXM/lib, OpenXM/doc |
|
(cd OpenXM/rc ; make install) |
|
Shell scripts to start "asir", "sm1", ... will be copied to |
|
/usr/local/bin |
|
This part should be executed as the root. |
|
|
|
Please try |
|
openxm asir |
|
If asir starts, then your installation seems to be successful. |
|
|
|
|
|
Some sources are downloaded from ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/misc |
|
to OpenXM_dist during the make by the wget command. |
|
So, your machine must be accessible to the internet. |
|
|
|
If you are in a firewall and cannot use even the passive |
|
ftp, the environmental variable ftp_proxy may help you. |
|
See the document of wget. All necessary library sources are downloaded in |
|
OpenXM_dist at the same level of OpenXM. If you are offline, please put |
|
all library sources necessary in this directory by hand. |
|
|
*/ |
*/ |
|
|
|
|
/*&jp |
/*&jp |
(2) 次のように入力して OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, |
|
OpenXM/rc/openxm |
|
ファイルを自動生成します. |
|
これらのファイルには, OpenXM/bin のファイルを実行するための |
|
環境変数が定義されています. |
|
|
|
|
|
|
------- Asir と kan だけで十分な場合 |
|
(cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib) |
|
OpenXM 版の Risa/Asir と kan/sm1 が生成インストールされます. |
|
(cd OpenXM/rc ; make install) |
|
|
|
------------------------------------------- |
|
asir-contrib 付きの Risa/Asir は OpenXM パッケージのメインクライアントです. |
|
Risa/asir はコマンド asir で起動できます. |
|
Risa/Asir および Asir-contrib のマニュアルは |
|
OpenXM/doc ディレクトリおよび http://www.openxm.org においてあります. |
|
|
|
|
*/ |
*/ |
|
|
|
|
/*&eg |
/*&eg |
(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
|
OpenXM/rc/openxm |
|
by the following command. |
|
Environmental variables to execute commands in OpenXM/bin |
|
are defined in these files. |
|
|
|
*/ |
------- If you need only asir and kan, |
/*&C |
(cd OpenXM/src ; make install-asir2000 ; make install-k097 ) |
|
You will get only asir and kan/sm1. |
|
(cd OpenXM/rc ; make install) |
|
|
cd /xxx/yyy/OpenXM/rc |
------------------------------------------- |
make |
Risa/Asir with asir-contrib is the main client system in the OpenXM project. |
|
You can start Risa/Asir by the command "asir", which is called |
|
OpenXM/Risa/Asir. |
|
It is build by (cd OpenXM/src ; make install-asir-contrib) |
|
The manual of Risa/Asir and Asir-contrib can be found in the |
|
OpenXM/doc directory and http://www.openxm.org |
|
|
|
|
*/ |
*/ |
|
|
/*&jp |
/*&jp |
(3) csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. |
|
|
|
|
|
|
----------- 幾つか解説 ------------------ |
|
|
|
Q. (cd OpenXM/rc ; make all) はなにをやるの? |
|
A. |
|
OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, |
|
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, 等の |
|
ファイルを自動生成します. |
|
openxm, asir, oxmath などは OpenXM クライアントを起動するための |
|
シエルスクリプトです. たとえば openxm asir と入力すれば OpenXM 環境で |
|
asir が動作します. |
|
これらを /usr/local/bin にインストールするには |
|
次のように入力します. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
(3) Append the following line to the end of ~/.cshrc when you are |
|
using csh as your shell. |
|
|
|
|
----------- Some Tips ---------------------- |
|
|
|
Q. What is done by the command (cd OpenXM/rc ; make all) ? |
|
A. |
|
It generates OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
|
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... |
|
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
|
For example, if you input |
|
openxm asir |
|
then asir starts in the OpenXM enviroment. |
|
If you want to install these shell scripts to /usr/local/bin, |
|
type in as follows. |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
source /xxx/yyy/OpenXM/rc/dot.cshrc |
cd OpenXM/rc |
|
make install |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
(3') bash を利用してる場合, 次の行を ~/.bashrc の最後に加えます. |
|
|
|
|
/usr/local/bin でなく, home directory の bin にインストールしたい |
|
ときは, 次のように入力してください. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
(3') Append the following line to the end of ~/.bashrc when you are |
|
using bash as your shell. |
If you want to install them under the bin of your home directory, |
|
type in as follows. |
|
|
*/ |
*/ |
/*&C |
/*&C |
|
|
source /xxx/yyy/OpenXM/rc/dot.bashrc |
cd OpenXM/rc |
|
make install PREFIX=$HOME/bin |
|
|
*/ |
*/ |
|
/*&C |
|
|
/*&jp |
[Note] If you are Solaris user, you might have to type in like |
|
/usr/ccs/bin/make install PREFIX=$HOME/bin |
|
|
(3) または (3') を終了したら, いったん logout して login しなおすか |
|
または, source コマンドで, dot.bashrc または dot.csh を読み込んで下さい. |
|
(3) または (3') をやらないという選択もあります. |
|
この場合, シェルスクリプト |
|
OpenXM/rc/openxm を コマンドサーチパスに移し, |
|
OpenXM/bin 以下の全てのコマンドの実行は, |
|
openxm コマンド名 |
|
という形で呼び出します. |
|
たとえば, openxm asir とか openxm sm1 という形でよびだします. |
|
|
|
*/ |
*/ |
/*&eg |
/*&jp |
|
|
After finishing the step (3) or (3'), logout and login again, |
|
or read dot.bashrc or dot.cshrc file by the source command. |
|
You may skip the step (3) or (3'). |
|
In this case, move the shell script OpenXM/rc/openxm to your |
|
command search path. To execute commands in OpenXM/bin, type in |
|
openxm command-name |
|
For example, "openxm asir" starts asir and "openx sm1" starts sm1 |
|
with a proper setting of environmental variables. |
|
|
|
*/ |
Q. OpenXM/bin の下のファイルを直接実行できるようにしたい. |
|
A. |
|
OpenXM/bin の下のファイルを直接実行したい場合は, 以下の設定が必要です. |
|
|
|
# csh を利用してる場合, 次の行を ~/.cshrc の最後に加えます. |
|
|
//&C |
|
//&jp (4) asir の利用には key が必要です. |
|
//&eg (4) You need a key to use asir. |
|
//&C |
|
/*&jp |
|
asir の起動時のメッセージまたは OpenXM/lib/asir/asir_key を |
|
参照して, key を取得して下さい (数秒しかかかりません). |
|
|
|
*/ |
*/ |
/*&eg |
/*&eg |
Please get the key by following the instruction from asir itself or |
|
that in OpenXM/lib/asir/asir_key (it takes only a few seconds |
|
to get the key). |
|
|
|
*/ |
Q. I want to execute binaries under OpenXM/bin |
|
A. |
|
If you want to execute binaries under OpenXM/bin, you need to do |
|
the following. |
|
|
/*&C |
|
|
|
***** QUALITY: |
# Append the following line to the end of ~/.cshrc when you are |
the following modules and functions have still experimental qualities: |
using csh as your shell. |
OpenXM/bin/k0, OpenXM/bin/d0 |
|
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
|
OpenXM/lib/java-support/ * |
|
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
|
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
|
*/ |
*/ |
/*&C |
/*&C |
|
|
|
source OpenXM/rc/dot.cshrc |
|
|
*/ |
*/ |
/*&jp |
/*&jp |
★ Java に関する注意: |
# bash を利用してる場合, 次の行それぞれを ~/.bashrc および ~/.bash_profile |
注意 1. |
の最後に加えます. |
OpenMath 用の OMproxy には現在のところ, jdk が必要です. |
|
たとえば bash を利用している場合, .bashrc で |
|
PATH=/usr/local/jdk1.1.8/bin:$PATH |
|
export PATH |
|
などとして, jdk の java, javac をサーチパスの先のほうへもっていくようにして |
|
ください. |
|
csh を利用している場合, .cshrc で |
|
set path=(/usr/local/jdk1.1.8/bin $path) |
|
として, jdk の java, javac をサーチパスにいれます. |
|
|
|
注意: |
|
なお, Kaffe 1.0.b4 の java は, class BigInteger に method |
|
toByteArray が含まれてないため, OpenMath モジュールでは使用できません. |
|
*/ |
*/ |
/*&eg |
/*&eg |
***** JAVA |
# Append the following lines to the end of ~/.bashrc and ~/.bash_profile |
In order to use OMproxy, asir client om_*, |
respectively when you are using bash as your shell. |
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 when your shell is csh |
|
set path=(/usr/local/jdk1.1.8/bin $path) |
|
Bash users put the following line to .bashrc |
|
PATH=/usr/local/jdk1.1.8/bin:$PATH |
|
export PATH |
|
|
|
Remark: |
|
The Java interpreter of Kaffe 1.0.b4 does not contain the method |
|
toByteArray in the class BigInteger. |
|
So, it cannot be used for the OpenMath module. |
|
*/ |
*/ |
|
|
/*&C |
/*&C |
|
|
|
source OpenXM/rc/dot.bashrc (.bashrc) |
|
|
|
source ~/.bashrc (.bash_profile) |
|
|
|
|
*/ |
*/ |
/*&jp |
|
★ 動作環境 |
|
|
|
|
|
|
/*&jp |
|
Q. ox_asir を icon でスタートするには? |
|
A. 次の行を, .Xdefaults または, xrdb で読み込むファイルに書いておきます. |
*/ |
*/ |
/*&eg |
/*&eg |
***** SYSTEM REQUIREMENTS |
Q. How to start ox_asir in the iconic mode? |
|
A. Add the following line to .Xdefaults or a file you read by xrdb. |
*/ |
*/ |
/*&C |
/*&C |
|
|
OS: FreeBSD 3.3 (Intel CPU), |
ox_xterm*iconic: on |
Linux systems (Intel CPU): |
|
Most Linux with libc5 and with libc6 (glibc 2.x). |
|
|
|
X window system is required. |
|
|
|
Most part of the OpenXM package may work on other versions of |
|
FreeBSD 3.x and Linux, but we have not yet tested. |
|
|
|
*/ |
*/ |
|
|
/*&jp |
/*&jp |
|
|
|
Q. Make は無事終了しますが, 途中でエラーがでます. |
|
A. |
|
OS の標準添付の環境以外が必要なコンポーネントのコンパイルエラーは |
|
無視されます. |
次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを |
次の modules は, OS の標準 distribution 以外に, さらに下に記したソフトを |
必要とします. |
必要とします. |
*/ |
*/ |
/*&eg |
/*&eg |
The following modules require the listed softwares other than the standard |
|
OS package. |
Q. Make finishes, but it outputs errors. |
|
A. |
|
Compilation errors due to missing commands other than |
|
standard commands are ignored. |
|
The following modules require the listed software systems |
|
other than the standard OS package. |
*/ |
*/ |
/*&C |
/*&C |
|
|
(1) OpenXM/bin/ox_math : Mathematica Version 3.x or 4.x |
(1) OpenXM/bin/oxmath : Mathematica Version 3.x or 4.x |
(Mathematica server) at /usr/local/Mathematica |
(Mathematica server) at /usr/local/Mathematica |
OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
OpenXM/bin/math2ox [ see http://www.wolfram.com ] |
Asir client functions m_* |
Asir client functions m_* |
(2) OpenXM/lib/java-support : JDK at /usr/local/jdk?? |
(2) OpenXM/lib/OpenMath : JDK |
[ see the section on JAVA] |
|
Asir client functions om_* |
Asir client functions om_* |
sm1 client functions om_* |
sm1 client functions om_* |
(3) PHC pack (OpenXM/bin/phc) and asir client functions |
(3) PHC pack (OpenXM/bin/phc) and asir client functions phc_* |
phc_* run only on linux (glib5). |
phc_* run only on linux. |
If you install the linux emulation^{note 1} on Free BSD, they run on |
If you install the linux emulation on Free BSD, they run on |
FreeBSD, too. |
FreeBSD, too. |
<note 1> |
<note 1> |
Add linux_enable="YES" in /etc/rc.conf |
Add linux_enable="YES" in /etc/rc.conf |
You need the following packages: |
You need the following packages: |
pkg_info | grep linu |
pkg_info | grep linu |
linux_base-5.2 The base set of packages needed in Linux mode |
linux_base-* The base set of packages needed in Linux mode |
linux_devtools-5.2 Packages needed for doing development in Linux mode |
linux_devtools-* Packages needed for doing development in Linux mode |
|
(4) The document generation requires |
|
latex, platex, tex, ptex, dvips, latex2html, texi2html, nkf |
|
|
*/ |
*/ |
|
|
|
|
/*&jp |
/*&jp |
日本語版の注意. |
Q. asir の help message が変. |
注意 1. |
A. |
asir で日本語のヘルプを利用するには, |
asir で日本語のヘルプを利用するには, |
PAGER=jless |
PAGER=jless |
export PAGER |
export PAGER |
などで, 日本語を扱える PAGER を指定する必要があるかもしれません. |
などで, 日本語を扱える PAGER を指定する必要があるかもしれません. |
*/ |
*/ |
|
|
/*&eg |
/*&C |
|
|
The installation is completed. |
----------------------------------------------------- |
|
|
*/ |
*/ |
/*&jp |
|
|
|
以上. |
|
|
|
*/ |
|
|
|
/*&jp |
/*&jp |
★ 文書 |
Q. OpenXM パッケージの文書は? |
|
A. |
OpenXM パッケージでもっとも充実しているクライアントは, |
OpenXM パッケージでもっとも充実しているクライアントは, |
asir です. |
asir です. |
asir のつかいかたは |
asir のつかいかたは |
OpenXM/doc/asir2000/man-jp.dvi |
OpenXM/doc/asir2000/man-ja.pdf |
または OpenXM/doc/asir2000/html-jp の HTML ファイルを見て下さい. |
または OpenXM/doc/asir2000/html-ja の HTML ファイルを見て下さい. |
asir 用 OpenXM クライアントライブラリのつかい方は, |
asir 用 OpenXM クライアントライブラリのつかい方は, |
OpenXM/doc/asir-contrib/cman-jp.dvi |
OpenXM/doc/asir-contrib/cman-ja.pdf |
を見て下さい. dvi の付くファイルは xdvi で見ることができます. |
を見て下さい. dvi の付くファイルは xdvi で見ることができます. |
|
|
OpenXM の設計の概要については, |
OpenXM の設計の概要については, |
Line 288 The installation is completed. |
|
Line 308 The installation is completed. |
|
を見て下さい. |
を見て下さい. |
ps の付くファイルは, ghostview で見ることができます. |
ps の付くファイルは, ghostview で見ることができます. |
|
|
|
Mathematica client については, OpenXM/doc/ox_math を御覧ください. |
|
sm1 client については, OpenXM/doc/kan96xx を御覧ください. |
|
asir は, 多項式処理用のライブラリとしてリンクできます. |
|
これについては, OpenXM/doc/oxlib を御覧ください. |
|
|
|
OpenXM 対応の, サーバ を作成するには, OpenXM/src/ox_toolkit |
|
を見てください. Java のクラスについては |
|
OpenXM/src/OpenMath を見てください. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
***** DOCUMENTS |
Q. Where can I find documents of the OpenXM package. |
|
A. |
The best OpenXM client in the OpenXM package is now |
The main OpenXM client in the OpenXM package is now |
asir. |
asir. |
Documents on asir are |
Documents on asir are |
OpenXM/doc/asir2000/man-eg.dvi |
OpenXM/doc/asir2000/man-en.pdf |
OpenXM/doc/asir2000/html-eg (HTML) |
OpenXM/doc/asir2000/html-en (HTML) |
|
|
The file |
The file |
OpenXM/doc/asir-contrib/cman-eg.dvi |
OpenXM/doc/asir-contrib/cman-en.pdf |
is a document on OpenXM client libraries for asir. |
is a document on OpenXM client libraries for asir. |
|
|
The design outline is described in |
The design outline is described in |
Line 307 The installation is completed. |
|
Line 336 The installation is completed. |
|
|
|
Dvi files can be previewed by xdvi and |
Dvi files can be previewed by xdvi and |
ps files can be previewed by ghostview. |
ps files can be previewed by ghostview. |
*/ |
|
|
|
|
As to Mathematica client, see OpenXM/doc/ox_math. |
|
As to sm1 client, see OpenXM/doc/kan96xx. |
|
The asir can be used as a C library for polynomial manupulation. |
|
See OpenXM/doc/oxlib. |
|
|
/*&eg |
If you are interested in writing a server for OpenXM in C or Java, |
|
please refer to |
|
OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. |
|
|
|
|
***** A QUICK TOUR OF OPENXM BY ASIR |
|
|
|
*/ |
*/ |
/*&jp |
|
|
|
|
|
★ ASIR による使用例 |
|
|
|
|
|
asir を動作させるには, key が必要です. |
|
OpenXM/lib/asir/asir_key のコメントまたは起動時のメッセージをみて, |
|
key を E-mail でとりよせて下さい. |
|
|
|
*/ |
|
/*&C |
|
---------------- Call ox_sm1 from asir. |
|
bash-2.03$ asir |
|
This is Risa/Asir, Version 20000120. |
|
Copyright (C) FUJITSU LABORATORIES LIMITED. |
|
1994-1999. All rights reserved. |
|
xm Version 20000116. ox_help(0); ox_help("keyword"); for help message |
|
[269] sm1_genericAnn([x^3-y^2,[s,x,y]]); |
|
/* The annihilating ideal of (x^3-y^2)^s */ |
|
[-2*y*dx-3*x^2*dy,2*x*dx+3*y*dy-6*s] |
|
|
|
|
|
--------------- Call gnuplot from asir. |
|
bash-2.03$ asir |
|
This is Risa/Asir, Version 20000120. |
|
Copyright (C) FUJITSU LABORATORIES LIMITED. |
|
1994-1999. All rights reserved. |
|
xm Version 20000116. ox_help(0); ox_help("keyword"); for help message |
|
[269] gnuplot("plot sin(x);"); |
|
0 |
|
[270] |
|
|
|
*/ |
|
|
|
/*&jp |
|
|
|
★ sm1 クライアントの利用例 |
|
|
|
*/ |
|
/*&eg |
/*&eg |
|
Q. I want to install only Risa/Asir. |
****** Example of the use of sm1 client |
A. |
|
If you want to generate only Risa/Asir, type in as follows. |
*/ |
*/ |
|
|
/*&C |
|
-------------------------------------- call ox_asir from sm1 |
|
sm1 |
|
(oxasir.sm1) run ; |
|
[(x^20-y^20) (x,y)] fctr pmat ; factorize x^20-y^20 by call ox_asir |
|
|
|
|
|
*/ |
|
|
|
/*&jp |
/*&jp |
[著作権表示] |
Q. Risa/Asir のみ install したい. |
OpenXM/Copyright を御覧ください. |
A. |
|
Risa/Asir のみを生成したい場合は, つぎのように入力します. |
*/ |
*/ |
/*&eg |
/*&C |
[COPYRIGHT] |
|
See OpenXM/Copyright. |
|
*/ |
|
|
|
/*&eg |
(cd OpenXM/src ; make install-asir) |
|
(cd OpenXM/rc ; make ) |
|
|
|
|
|
|
***** TO COMPILE FROM A SOURCE ***** |
|
|
|
*/ |
*/ |
/*&jp |
|
|
|
|
|
★ OpenXM パッケージの Make 法 |
|
FreeBSD 2.2.8, FreeBSD 3.3, Linux で動作するものと期待してます. |
|
Linux glib6 では, いまのところ, /usr/include/features.h |
|
で #define __FAVOR_BSD 1 してコンパイルする必要があります. |
|
(setjmp と sigsetjmp の問題, dirty trick) |
|
|
|
OpenXM, OpenXM_contrib, OpenXM_contrib2 が必要です. |
|
cvs コミッタの場合次のようにしてソースをとりよせます. |
|
*/ |
|
/*&eg |
/*&eg |
* How to make OpenXM package? |
Copy the shell script "asir" at OpenXM/rc in your search path, e.g., |
We have tested the OpenXM package on FreeBSD 2.2.8, FreeBSD 3.3, Linux. |
/usr/local/bin or ~/bin |
On Linux glib6, you need to define |
Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source |
#define __FAVOR_BSD 1 |
command from your ~/.bashrc or ~/.cshrc. |
in /usr/include/features.h |
|
(setjmp vs sigsetjmp) |
|
|
|
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 環境) が必要です. |
|
|
|
Documents を生成するには, tex, ptex (ascii 日本語 tex), dvips, texinfo, |
|
texi2html, nkf, |
|
が必要です. 詳しくは Makefiles を見て下さい. |
|
Document は, binary distribution の OpenXM/doc, OpenXM/lib |
|
より得るのが簡単です. |
|
*/ |
|
/*&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). |
|
|
|
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. |
|
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 |
|
|
|
*/ |
|
/*&jp |
/*&jp |
|
OpenXM/rc の下のシェルスクリプト "asir" をサーチパスにコピーして |
OpenXM_contrib2/asir2000 の配布を受けてない場合 (ソースライセンスを |
ください (たとえば, /usr/local/bin or ~/bin へ). |
富士通より受ける必要があります), |
または OpenXM/rc/dot.bashrc か OpenXM/rc/dot.cshrc を |
OpenXM/src/Makefile の各モジュール名 たとえば |
source コマンドで ~/.bashrc か ~/.cshrc より読み込んでください. |
make all-kan96xx |
|
などと各モジュール名を指定してコンパイルして下さい. |
|
|
|
*/ |
*/ |
/*&eg |
|
|
|
If you cannot get a source liscence of OpenXM_contrib2/asir2000 |
|
from Fujitsu labs, |
|
compile each modules independently, e.g., |
|
make all-kan96xx |
|
|
|
*/ |
|
|
|
/*&jp |
/*&jp |
|
Q. OpenXM の下のファイル構成はどうなっていますか? |
|
A. |
[OpenXM 下のファイルの構成メモ] |
[OpenXM 下のファイルの構成メモ] |
lib/asir には, asir のライブラリ, ox_asir 本体 |
lib/asir には, asir のライブラリ, ox_asir 本体 |
|
|
Line 505 asir が ox_sm1_gnuplot を利用するのに必要なファイル: |
|
Line 417 asir が ox_sm1_gnuplot を利用するのに必要なファイル: |
|
bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*) |
bin/gnuplot4ox, bin/gnuplot_x11 (gnuplot 本体, src/gnuplot*) |
|
|
---------------------------------------- |
---------------------------------------- |
[開発者用メモ] |
*/ |
|
|
|
/*&jp |
|
Q. debug するとき make install は面倒. (開発者向け) |
|
A. |
<< sm1, ox_sm1, ox, oxlog の debug >> |
<< sm1, ox_sm1, ox, oxlog の debug >> |
binary file は各 directory の make install により |
binary file は各 directory の make install により |
OpenXM/bin にコピーされますが, |
OpenXM/bin にコピーされますが, |
Line 519 OpenXM/src/kan96xx/Kan/sm1 |
|
Line 434 OpenXM/src/kan96xx/Kan/sm1 |
|
OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog |
OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/kxx/oxlog |
へのシンボリックリンクが作成されます. |
へのシンボリックリンクが作成されます. |
|
|
[CVSコミッタ用メモ] |
Q. << OpenXM ディレクトリ配布版の作成方法 >> |
<< OpenXM ディレクトリ配布版の作成方法 >> |
A. |
|
|
rcvs export -rHEAD OpenXM |
rcvs export -rHEAD OpenXM |
rcvs export -rHEAD OpenXM_contrib |
rcvs export -rHEAD OpenXM_contrib |
rcvs export -rHEAD OpenXM_contrib2 |
rcvs export -rHEAD OpenXM_contrib2 |
|
cd OpenXM/src ; make generate-source-distribution |
して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
して, OpenXM, OpenXM_contrib, OpenXM_contrib2 全体を tar+gzip. |
*/ |
*/ |
|
|
Line 531 rcvs export -rHEAD OpenXM_contrib2 |
|
Line 448 rcvs export -rHEAD OpenXM_contrib2 |
|
|
|
*/ |
*/ |
/*&jp |
/*&jp |
|
Q. Solaris でコンパイルがうまくいきません. |
★ Solaris に関する注意. |
A. |
Solaris ではまだ問題が山積してます. |
Solaris ではまだ問題が山積してます. |
Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt |
Solaris での make の問題点については, OpenXM/doc/OpenXM-FAQ-jp.txt |
を見てください. |
を見てください. |
Solaris でコンパイルするには, /usr/ccs/bin をサーチパスの最初へもっていって |
Solaris でコンパイルするには, 次が最低限必要です. |
おきます. |
(1) gcc をインストールする. |
|
http://www.gnu.org より Solaris 用 binary を入手できる. |
|
それから [gnu file util と] bison. |
|
(2) /usr/ccs/bin:/usr/local/bin:/usr/ucb |
|
をサーチパスの最初へもっていっておきます. |
|
C シェルなら |
|
setenv PATH=/usr/ccs/bin:/usr/local/bin:/usr/ucb:$PATH |
|
|
|
これは /usr/ccs/bin/make, /usr/ucb/install を利用する必要があるためです. |
|
|
*/ |
*/ |
/*&eg |
/*&eg |
***** COMPILE ON SOLARIS |
Q. I cannot make on Solaris. |
|
A. |
There are a lot of troubles on Solaris for now. |
There are a lot of troubles on Solaris for now. |
At least, |
At least, the following two things are prerequisite. |
/usr/ccs/bin must be at the top of the command search path to compile |
(1) Installation of gcc (http://www.gnu.org), [gnu file util] and bison. |
on Solaris. |
(2) /usr/ccs/bin:/usr/ucb must be at the top of the command search path |
|
to compile on Solaris. In case of C shell, type in |
|
setenv PATH=/usr/ccs/bin:/usr/local/bin:/usr/ucb:$PATH |
|
This is because our making procedure requires |
|
/usr/ccs/bin/make, /usr/ucb/install |
*/ |
*/ |
|
|
|
|
/*&C |
|
|
|
*/ |
|