| version 1.14, 2000/01/21 08:30:35 |
version 1.31, 2000/04/03 05:59:01 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.13 2000/01/21 08:23:44 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.30 2000/03/17 03:22:01 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 |
| |
for troubles. |
| |
|
| OpenXM package : Getting started. |
OpenXM package : Getting started. |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| ¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ |
¡ú OpenXM GENERIC ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ |
| ¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. |
¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. |
| ¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
| */ |
*/ |
| /*&eg |
/*&eg |
| ***** HOW TO USE OpenXM 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. |
| As to the required environment, see the section "System Requirement" |
As to the required environment, see the section "System Requirement" |
| Line 35 As to the required environment, see the section "Syste |
|
| Line 37 As to the required environment, see the section "Syste |
|
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| |
tar xzvf OpenXM-shared.tgz |
| tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
tar xzvf OpenXM-binary-OPERATING_SYSTEM_CPU_TYPE.tgz |
| |
|
| */ |
*/ |
| Line 49 by /xxx/yyy/OpenXM. |
|
| Line 53 by /xxx/yyy/OpenXM. |
|
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| (2) ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc |
(2) OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc, |
| ¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, Åù¤Î |
| ¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤Ë¤Ï, OpenXM/bin ¤Î¥Õ¥¡¥¤¥ë¤ò¼Â¹Ô¤¹¤ë¤¿¤á¤Î |
¥Õ¥¡¥¤¥ë¤ò¼«Æ°À¸À®¤·¤Þ¤¹. |
| ´Ä¶ÊÑ¿ô¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤Þ¤¹. |
openxm, asir, oxmath ¤Ê¤É¤Ï OpenXM ¥¯¥é¥¤¥¢¥ó¥È¤òµ¯Æ°¤¹¤ë¤¿¤á¤Î |
| |
¥·¥¨¥ë¥¹¥¯¥ê¥×¥È¤Ç¤¹. ¤³¤ì¤é¤ò /usr/local/bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¤Ë¤Ï |
| |
¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| (2) Generate OpenXM/rc/dot.cshrc and OpenXM/rc/dot.bashrc |
(2) Generate OpenXM/rc/dot.cshrc, OpenXM/rc/dot.bashrc and |
| by the following command. |
OpenXM/rc/openxm, OpenXM/rc/asir, OpenXM/rc/oxmath, ... |
| Environmental variables to execute commands in OpenXM/bin |
The files openxm, asir, oxmath are shell scripts to invoke OpenXM clients. |
| are defined in these files. |
If you want to install these shell scripts to /usr/local/bin, |
| |
type in as follows. |
| |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| cd /xxx/yyy/OpenXM/rc |
cd /xxx/yyy/OpenXM/rc |
| make |
make install |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| |
|
| |
/usr/local/bin ¤Ç¤Ê¤¯, home directory ¤Î bin ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤¿¤¤ |
| |
¤È¤¤Ï, ¼¡¤Î¤è¤¦¤ËÆþÎϤ·¤Æ¤¯¤À¤µ¤¤. |
| |
|
| |
*/ |
| |
/*&eg |
| |
|
| |
If you want to install them under the bin of your home directory, |
| |
type in as follows. |
| |
|
| |
*/ |
| |
/*&C |
| |
|
| |
cd /xxx/yyy/OpenXM/rc |
| |
make install PREFIX=$HOME/bin |
| |
|
| |
*/ |
| |
/*&C |
| |
|
| |
[Note] If you are Solaris user, you might have to type in like |
| |
/usr/ccs/bin/make install PREFIX=$HOME/bin |
| |
|
| |
*/ |
| |
/*&jp |
| |
|
| |
OpenXM/bin ¤Î²¼¤Î¥Õ¥¡¥¤¥ë¤òľÀܼ¹Ԥ·¤¿¤¤¾ì¹ç¤Ï, °Ê²¼¤ÎÀßÄ꤬ɬÍפǤ¹. |
| |
OpenXM clients ¤ò¼Â¹Ô¤¹¤ë¤À¤±¤Î¾ì¹ç¤Ï, (3), (3') ¤Ï skip ¤·¤Æ¤¯¤À¤µ¤¤. |
| |
|
| (3) csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
(3) csh ¤òÍøÍѤ·¤Æ¤ë¾ì¹ç, ¼¡¤Î¹Ô¤ò ~/.cshrc ¤ÎºÇ¸å¤Ë²Ã¤¨¤Þ¤¹. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| |
If you want to execute binaries under OpenXM/bin, you need to perform |
| |
(3) and (3'). |
| |
If you use only OpenXM clients, skip (3) and (3'). |
| |
|
| (3) Append the following line to the end of ~/.cshrc when you are |
(3) Append the following line to the end of ~/.cshrc when you are |
| using csh as your shell. |
using csh as your shell. |
| |
|
| Line 93 by /xxx/yyy/OpenXM. |
|
| Line 133 by /xxx/yyy/OpenXM. |
|
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| source /xxx/yyy/OpenXM/rc/dot.bash |
source /xxx/yyy/OpenXM/rc/dot.bashrc |
| |
|
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
| |
|
| (3) ¤Þ¤¿¤Ï (3') ¤ò½ªÎ»¤·¤¿¤é, ¤¤¤Ã¤¿¤ó logout ¤·¤Æ login ¤·¤Ê¤ª¤¹¤« |
(3) ¤Þ¤¿¤Ï (3') ¤ò½ªÎ»¤·¤¿¤é, ¤¤¤Ã¤¿¤ó logout ¤·¤Æ login ¤·¤Ê¤ª¤¹¤« |
| ¤Þ¤¿¤Ï, source ¥³¥Þ¥ó¥É¤Ç, dot.bash ¤Þ¤¿¤Ï dot.csh ¤òÆɤ߹þ¤ó¤Ç²¼¤µ¤¤. |
¤Þ¤¿¤Ï, source ¥³¥Þ¥ó¥É¤Ç, dot.bashrc ¤Þ¤¿¤Ï dot.csh ¤òÆɤ߹þ¤ó¤Ç²¼¤µ¤¤. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| After finishing the step (3) or (3'), logout and login again, |
After finishing the step (3) or (3'), logout and login again, |
| or read dot.bash or dot.cshrc file by the source command. |
or read dot.bashrc or dot.cshrc file by the source command. |
| |
|
| */ |
*/ |
| |
|
| Line 119 by /xxx/yyy/OpenXM. |
|
| Line 159 by /xxx/yyy/OpenXM. |
|
| asir ¤Îµ¯Æ°»þ¤Î¥á¥Ã¥»¡¼¥¸¤Þ¤¿¤Ï OpenXM/lib/asir/asir_key ¤ò |
asir ¤Îµ¯Æ°»þ¤Î¥á¥Ã¥»¡¼¥¸¤Þ¤¿¤Ï OpenXM/lib/asir/asir_key ¤ò |
| »²¾È¤·¤Æ, key ¤ò¼èÆÀ¤·¤Æ²¼¤µ¤¤ (¿ôÉä·¤«¤«¤«¤ê¤Þ¤»¤ó). |
»²¾È¤·¤Æ, key ¤ò¼èÆÀ¤·¤Æ²¼¤µ¤¤ (¿ôÉä·¤«¤«¤«¤ê¤Þ¤»¤ó). |
| |
|
| |
Mail ¤ÎÍøÍѤ¬¤Ç¤¤Æ, /var/mail ¤Î²¼¤Ë¥á¡¼¥ë¤òÃå¿®¤Ç¤¤ì¤Ð, |
| |
/xxx/yyy/OpenXM/rc/fetch_asir_key |
| |
¤ò¼Â¹Ô¤¹¤ë¤³¤È¤Ë¤è¤ê asir_key ¤ò¼«Æ°¤ÇÀßÄê¤Ç¤¤Þ¤¹. |
| |
|
| |
FreeBSD ¤Î package, Redhat Package manager ¤òÍøÍѤ·¤Æ¤¤¤ë |
| |
¾ì¹ç¤Ï, /usr/local/OpenXM/lib/asir/asir_key ¤¬¤¹¤Ç¤Ë¸ºß¤·¤Æ |
| |
¤¤¤ë¾ì¹ç, ¤³¤Î¥Õ¥¡¥¤¥ë¤ÏÊݸ¤µ¤ì¤Þ¤¹. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| Please get the key by following the instruction from asir itself or |
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 |
that in OpenXM/lib/asir/asir_key (it takes only a few seconds |
| to get the key). |
to get the key). |
| |
|
| |
If you can get your mails under /var/mail, you can automatically set |
| |
your key by executing |
| |
/xxx/yyy/OpenXM/rc/fetch_asir_key |
| |
|
| |
If you install the OpenXM package by the pkg_add of FreeBSD or |
| |
the redhat package manager, the old key file |
| |
/usr/local/OpenXM/lib/asir/asir_key, if exists, is saved. |
| |
|
| */ |
*/ |
| |
/*&jp |
| |
|
| |
¡ú OpenXM FreeBSD binary ¥Ñ¥Ã¥±¡¼¥¸¤Î¥¤¥ó¥¹¥È¡¼¥ëÊýË¡ |
| |
openxm-version.tgz |
| |
¤ò ftp ¥µ¥¤¥È¤è¤ê copy ¤·¤Æ, |
| |
root ¤Ë¤Ê¤Ã¤Æ, |
| |
pkg_add openxm-version.tgz |
| |
OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
| |
¤¢¤È¤Ï, ¾å¤Î (4) ¤Ø. |
| |
¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, |
| |
2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 |
| |
|
| |
java ¤ª¤è¤Ó linux emulation ¤¬¼Â¹Ô¤ËɬÍפǤ¹. |
| |
java ¤¬, ¥µ¡¼¥Á¥Ñ¥¹¤Î¤Ê¤«¤Ë¤¢¤ëɬÍפ¬¤¢¤ê¤Þ¤¹¤Î¤Ç, |
| |
¤¿¤È¤¨¤Ð, |
| |
set path=(/usr/local/jdk1.1.8 $path) |
| |
rehash |
| |
¤·¤Æ¤«¤é, pkg_add ¤·¤Æ²¼¤µ¤¤. |
| |
¥¤¥ó¥¹¥È¡¼¥ë½ªÎ»¸å¤Î¥á¥Ã¥»¡¼¥¸¤Ë¤·¤¿¤¬¤¤, ɬÍפÊÀßÄê¤ò |
| |
¤ª¤³¤Ê¤Ã¤Æ²¼¤µ¤¤. |
| |
|
| |
/usr/local ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, |
| |
(2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. |
| |
|
| |
*/ |
| |
/*&eg |
| |
|
| |
***** HOW TO INSTALL OpenXM FreeBSD binary package |
| |
Copy |
| |
openxm-version.tgz |
| |
from our ftp cite. |
| |
Become the super user and type |
| |
pkg_add openxm-version.tgz |
| |
OpenXM will be installed to /usr/local/OpenXM |
| |
Go to (4) above. |
| |
Here, version is the version number of OpenXM. |
| |
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
| |
is 1.1.2 |
| |
|
| |
java and linux emulation are required to run OpenXM packages. |
| |
Java needs to be in the search path. So, for example, execute pkg_add |
| |
after |
| |
set path=(/usr/local/jdk1.1.8 $path) |
| |
rehash |
| |
Following the message of pkg_add after the installation, |
| |
set asir_key and path. |
| |
If you do not install under /usr/local, |
| |
goto (2). |
| |
|
| |
*/ |
| |
/*&jp |
| |
|
| |
¡ú OpenXM Redhat Package manager (Linux) |
| |
binary ¥Ñ¥Ã¥±¡¼¥¸¤Î¥¤¥ó¥¹¥È¡¼¥ëÊýË¡ |
| |
openxm-shared-version-suffix.noarch.rpm |
| |
openxm-binary-version-suffix.i386.rpm |
| |
¤ò ftp ¥µ¥¤¥È¤è¤ê copy ¤·¤Æ, |
| |
root ¤Ë¤Ê¤Ã¤Æ, |
| |
rpm -i openxm-shared-version-suffix.noarch.rpm |
| |
rpm -i openxm-binary-version-suffix.i386.rpm |
| |
OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
| |
¤¢¤È¤Ï, ¾å¤Î (4) ¤Ø. |
| |
¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, |
| |
2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 |
| |
suffix ¤Ï, RPM ÈǤΠminor version number. |
| |
|
| |
Debian ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, ¥³¥Þ¥ó¥É alien ¤Ç, rpm ·Á¼°¤ò deb ·Á¼°¤Ë |
| |
ÊÑ´¹¤Ç¤¤Þ¤¹. |
| |
|
| |
/usr/local ¤Î²¼¤Ø¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, (2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. |
| |
|
| |
*/ |
| |
/*&eg |
| |
|
| |
***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux) |
| |
Copy |
| |
openxm-shared-version-suffix.noarch.rpm |
| |
openxm-binary-version-suffix.i386.rpm |
| |
from our ftp cite. |
| |
Become the super user and type |
| |
rpm -i openxm-shared-version-suffix.noarch.rpm |
| |
rpm -i openxm-binary-version-suffix.i386.rpm |
| |
OpenXM will be installed to /usr/local/OpenXM |
| |
Go to (4) above. |
| |
Here, version is the version number of OpenXM. |
| |
For example, the version number of the OpenXM of May 20 (Mon), 2000 |
| |
is 1.1.2 |
| |
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). |
| |
|
| |
|
| |
*/ |
| |
|
| /*&C |
/*&C |
| |
|
| |
***** OpenXM client programs under OpenXM/bin or /usr/local/bin: |
| |
asir |
| |
oxmath |
| |
openxm sm1 |
| |
|
| |
***** OpenXM server programs: |
| |
OpenXM/bin/ox_asir |
| |
OpenXM/bin/ox_sm1 |
| |
OpenXM/bin/ox_math |
| |
OpenXM/lib/sm1/bin/ox_sm1_gnuplot |
| |
OpenXM/lib/sm1/bin/ox_sm1_phc |
| |
OpenXM/lib/sm1/bin/ox_sm1_tigers |
| |
OpenXM/lib/java-support/OMproxy.class |
| |
|
| ***** QUALITY: |
***** QUALITY: |
| the following modules and functions have still experimental qualities: |
Experimental: |
| OpenXM/bin/k0, OpenXM/bin/d0 |
OpenXM/bin/k0, OpenXM/bin/d0 |
| OpenXM/bin/ox_math, OpenXM/bin/math2ox |
|
| OpenXM/lib/java-support/ * |
|
| Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
| |
OpenXM/lib/java-support/ * |
| |
70% |
| |
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
| OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
OpenXM/bin/sm1, ox_sm1 on Linux libc6. |
| */ |
*/ |
| /*&C |
/*&C |
|
|
| csh ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, .cshrc ¤Ç |
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 ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¤¤¤ì¤Þ¤¹. |
| |
|
| |
Ãí°Õ: |
| |
¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method |
| |
toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ¤Þ¤»¤ó. |
| */ |
*/ |
| /*&eg |
/*&eg |
| ***** JAVA |
***** JAVA |
| Line 165 set path=(/usr/local/jdk1.1.8/bin $path) |
|
| Line 336 set path=(/usr/local/jdk1.1.8/bin $path) |
|
| Bash users put the following line to .bashrc |
Bash users put the following line to .bashrc |
| PATH=/usr/local/jdk1.1.8/bin:$PATH |
PATH=/usr/local/jdk1.1.8/bin:$PATH |
| export 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 |
|
|
| |
|
| OS: FreeBSD 3.3 (Intel CPU), |
OS: FreeBSD 3.3 (Intel CPU), |
| Linux systems (Intel CPU): |
Linux systems (Intel CPU): |
| Plamo Linux on Linux 2.0.33, glibc5, |
Most Linux with libc5 and with libc6 (glibc 2.x). |
| |
|
| X window system is required. |
X window system is required. |
| |
|
|
|
| */ |
*/ |
| /*&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_* |
| Line 262 The installation is completed. |
|
| Line 438 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 |
***** DOCUMENTS |
| Line 281 The installation is completed. |
|
| Line 466 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. |
| |
|
| |
If you are interested in writing a server for OpenXM, please refer to |
| |
OpenXM/src/ox_toolkit and OpenXM/src/OpenMath. |
| |
|
| */ |
*/ |
| |
|
| |
|
| Line 367 See OpenXM/Copyright. |
|
| Line 561 See OpenXM/Copyright. |
|
| ¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ |
¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ |
| FreeBSD 2.2.8, FreeBSD 3.3, Linux ¤ÇÆ°ºî¤¹¤ë¤â¤Î¤È´üÂÔ¤·¤Æ¤Þ¤¹. |
FreeBSD 2.2.8, FreeBSD 3.3, Linux ¤ÇÆ°ºî¤¹¤ë¤â¤Î¤È´üÂÔ¤·¤Æ¤Þ¤¹. |
| Linux glib6 ¤Ç¤Ï, ¤¤¤Þ¤Î¤È¤³¤í, /usr/include/features.h |
Linux glib6 ¤Ç¤Ï, ¤¤¤Þ¤Î¤È¤³¤í, /usr/include/features.h |
| ¤Ç #define __FAVOR_BSD 1 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤Þ¤¹. |
¤Ç #define __FAVOR_BSD 1 ¤·¤Æ¥³¥ó¥Ñ¥¤¥ë¤¹¤ëɬÍפ¬¤¢¤ê¤·¤¿¤¬, |
| (setjmp ¤È sigsetjmp ¤ÎÌäÂê, dirty trick) |
°ìÉô¤Î¥½¡¼¥¹¤ò |
| |
-D_BSD_SOURCE option ¤ò¤Ä¤±¤Æ gcc ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤è¤¦¤ËÊѤ¨¤Æ¤Þ¤¹ |
| |
(setjmp ¤È sigsetjmp ¤ÎÌäÂê, dirty trick). |
| |
|
| OpenXM, OpenXM_contrib, OpenXM_contrib2 ¤¬É¬ÍפǤ¹. |
OpenXM, OpenXM_contrib, OpenXM_contrib2 ¤¬É¬ÍפǤ¹. |
| cvs ¥³¥ß¥Ã¥¿¤Î¾ì¹ç¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥½¡¼¥¹¤ò¤È¤ê¤è¤»¤Þ¤¹. |
cvs ¥³¥ß¥Ã¥¿¤Î¾ì¹ç¼¡¤Î¤è¤¦¤Ë¤·¤Æ¥½¡¼¥¹¤ò¤È¤ê¤è¤»¤Þ¤¹. |
| Line 376 See OpenXM/Copyright. |
|
| Line 572 See OpenXM/Copyright. |
|
| /*&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 2.2.8, FreeBSD 3.3, Linux. |
| On Linux glib6, you need 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, |
| (setjmp vs sigsetjmp) |
but now we are compiling some sources with -D_BSD_SOURCE |
| |
(setjmp vs sigsetjmp). |
| |
|
| Do you have directories OpenXM, OpenXM_contrib, OpenXM_contrib2? |
Do you have directories OpenXM, OpenXM_contrib, 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: |
| Line 415 you need tex, ptex (ASCII Inc. Japanese tex), dvips, t |
|
| Line 612 you need tex, ptex (ASCII Inc. Japanese tex), dvips, t |
|
| nkf. See each Makefile. |
nkf. 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, |
| |
type in R for the tex error prompt ? or |
| |
prepare empty shell scripts ptex and nkf. |
| */ |
*/ |
| /*&C |
/*&C |
| |
|
| Line 427 in the binary distribution. |
|
| Line 627 in the binary distribution. |
|
| make all-kan96xx |
make all-kan96xx |
| ¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. |
¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. |
| |
|
| |
¤Þ¤¿¤Ï |
| |
OpenXM/src/asir2000 ¤Î Makefile ¤ò Makefile.forSkip ¤ËÃÖ¤´¹¤¨¤Æ |
| |
²¼¤µ¤¤. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| Line 435 in the binary distribution. |
|
| Line 639 in the binary distribution. |
|
| compile each modules independently, e.g., |
compile each modules independently, e.g., |
| make all-kan96xx |
make all-kan96xx |
| |
|
| |
Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. |
| |
|
| */ |
*/ |
| |
|
| /*&jp |
/*&jp |
| Line 495 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k |
|
| Line 701 OpenXM/src/kxx/ox, OpenXM/src/kxx/ox_sm1, OpenXM/src/k |
|
| 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 518 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
| Line 725 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
| /usr/ccs/bin must be at the top of the command search path to compile |
/usr/ccs/bin must be at the top of the command search path to compile |
| on Solaris. |
on Solaris. |
| */ |
*/ |
| |
/*&jp |
| |
|
| |
¡ú Redhat Linux 6.1 ¾å¤Ç¤Î¥³¥ó¥Ñ¥¤¥ë |
| |
m4-1.4 ¤È autoconf-2.13 ¤¬É¬Í×. |
| |
(¤¢¤é¤«¤¸¤á¤Ï¤¤¤Ã¤Æ¤¤¤ë, autoconf ¤Ï 2.12 ¤Ç¤¢¤ê¤³¤ì¤Ï |
| |
gnuplot ¤Î make ¤ÇÉÔ¶ñ¹ç¤òÀ¸¤¸¤Þ¤¹.) |
| |
|
| |
*/ |
| |
/*&eg |
| |
***** COMPILE ON Redhat Linux 6.1 |
| |
m4-1.4 and autoconf-2.13 are required. |
| |
(Preinstalled autoconf is version 2.12. It causes a trouble when |
| |
you build gnuplot.) |
| |
*/ |
| |
|
| /*&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