| version 1.28, 2000/03/15 13:18:28 |
version 1.44, 2001/12/21 00:33:50 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.27 2000/03/15 11:38:54 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.43 2001/12/20 04:52:07 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) |
| |
|
| |
|
| |
----------- An instruction for a quick installation from the source code --- |
| |
(cd OpenXM/src ; make configure ; 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 |
| |
|
| |
*********** If you need only asir and kan/(sm1, k0), |
| |
(cd OpenXM/src ; make install-kan-ox ; make install-asir-contrib) |
| |
You will get only asir (OpenXM version) and kan/sm1. |
| |
(cd OpenXM/rc ; make install) |
| |
------------------------------------------------------------------- |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| ¡ú OpenXM GENERIC ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ |
¡ú OpenXM GENERIC ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ |
| ¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. |
¤³¤ÎÀá¤Ç¤Ï, OpenXM package binary distribution ¤Î¥¤¥ó¥¹¥È¡¼¥ëË¡¤òÀâÌÀ¤·¤Þ¤¹. |
| |
¥½¡¼¥¹¤«¤é¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¾ì¹ç¤Ï |
| |
¡ú OpenXM ¥Ñ¥Ã¥±¡¼¥¸¤Î Make Ë¡ |
| |
¤ò¸æÍ÷²¼¤µ¤¤. |
| |
RPM, Debian ¤Ê¤É¤Î¥Ñ¥Ã¥±¡¼¥¸¤Ç¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¾ì¹ç¤Ï |
| |
Web ¥Ú¡¼¥¸¤ÎÀâÌÀ¤É¤¦¤ê¤Ë¥Ñ¥Ã¥±¡¼¥¸¤ò¥¤¥ó¥¹¥È¡¼¥ë¤¹¤ë¤À¤±¤Ç |
| |
ÀßÄ꤬½ªÎ»¤·¤Þ¤¹. |
| |
|
| ¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
¥¤¥ó¥¹¥È¡¼¥ë¤ËɬÍפʥ·¥¹¥Æ¥à¤Î»ÅÍͤˤĤ¤¤Æ¤Ï, Æ°ºî´Ä¶¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
| */ |
*/ |
| /*&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? |
| |
If you install openxm by using RPM or Debian package, |
| |
install the system following the instruction given on our web page. |
| |
|
| As to the required environment, see the section "System Requirement" |
As to the required environment, see the section "System Requirement" |
| */ |
*/ |
| /*&jp |
/*&jp |
| Line 123 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 153 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 151 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 184 If you use only OpenXM clients, skip (3) and (3'). |
|
| */ |
*/ |
| |
|
| |
|
| //&C |
/*&C |
| //&jp (4) asir ¤ÎÍøÍÑ¤Ë¤Ï key ¤¬É¬ÍפǤ¹. |
|
| //&eg (4) You need a key to use asir. |
|
| //&C |
|
| /*&jp |
|
| asir ¤Îµ¯Æ°»þ¤Î¥á¥Ã¥»¡¼¥¸¤Þ¤¿¤Ï OpenXM/lib/asir/asir_key ¤ò |
|
| »²¾È¤·¤Æ, key ¤ò¼èÆÀ¤·¤Æ²¼¤µ¤¤ (¿ôÉä·¤«¤«¤«¤ê¤Þ¤»¤ó). |
|
| |
|
| Mail ¤ÎÍøÍѤ¬¤Ç¤¤Æ, /var/mail ¤Î²¼¤Ë¥á¡¼¥ë¤òÃå¿®¤Ç¤¤ì¤Ð, |
FAQ |
| /xxx/yyy/OpenXM/rc/fetch_asir_key |
|
| ¤ò¼Â¹Ô¤¹¤ë¤³¤È¤Ë¤è¤ê asir_key ¤ò¼«Æ°¤ÇÀßÄê¤Ç¤¤Þ¤¹. |
|
| |
|
| FreeBSD ¤Î package, Redhat Package manager ¤òÍøÍѤ·¤Æ¤¤¤ë |
|
| ¾ì¹ç¤Ï, /usr/local/OpenXM/lib/asir/asir_key ¤¬¤¹¤Ç¤Ë¸ºß¤·¤Æ |
|
| ¤¤¤ë¾ì¹ç, ¤³¤Î¥Õ¥¡¥¤¥ë¤ÏÊݸ¤µ¤ì¤Þ¤¹. |
|
| |
|
| */ |
*/ |
| |
/*&jp |
| |
Q. OpenXM ¤Î asir OpenXM client ¤ò icon ¤Ç¥¹¥¿¡¼¥È¤¹¤ë¤Ë¤Ï? |
| |
A. ¼¡¤Î¹Ô¤ò, .Xdefaults ¤Þ¤¿¤Ï, xrdb ¤ÇÆɤ߹þ¤à¥Õ¥¡¥¤¥ë¤Ë½ñ¤¤¤Æ¤ª¤¤Þ¤¹. |
| |
*/ |
| /*&eg |
/*&eg |
| Please get the key by following the instruction from asir itself or |
Q. How to start asir OpenXM clients in the iconic mode? |
| that in OpenXM/lib/asir/asir_key (it takes only a few seconds |
A. Add the following line to .Xdefaults or a file you read by xrdb. |
| to get the key). |
*/ |
| |
/*&C |
| |
|
| If you can get your mails under /var/mail, you can automatically set |
ox_xterm*iconic: on |
| 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 |
/*&C |
| /usr/local/OpenXM/lib/asir/asir_key, if exists, is saved. |
|
| |
|
| |
------------------------------------------------------------- |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| |
|
| Line 190 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 215 If you use only OpenXM clients, skip (3) and (3'). |
|
| root ¤Ë¤Ê¤Ã¤Æ, |
root ¤Ë¤Ê¤Ã¤Æ, |
| pkg_add openxm-version.tgz |
pkg_add openxm-version.tgz |
| OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
| ¤¢¤È¤Ï, ¾å¤Î (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 ¤¬, ¥µ¡¼¥Á¥Ñ¥¹¤Î¤Ê¤«¤Ë¤¢¤ëɬÍפ¬¤¢¤ê¤Þ¤¹¤Î¤Ç, |
| |
¤¿¤È¤¨¤Ð, |
| |
set path=(/usr/local/jdk1.1.8 $path) |
| |
rehash |
| |
¤·¤Æ¤«¤é, pkg_add ¤·¤Æ²¼¤µ¤¤. |
| |
¥¤¥ó¥¹¥È¡¼¥ë½ªÎ»¸å¤Î¥á¥Ã¥»¡¼¥¸¤Ë¤·¤¿¤¬¤¤, ɬÍפÊÀßÄê¤ò |
| |
¤ª¤³¤Ê¤Ã¤Æ²¼¤µ¤¤. |
| |
|
| |
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 ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, |
| |
(2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| Line 204 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 253 If you use only OpenXM clients, skip (3) and (3'). |
|
| Become the super user and type |
Become the super user and type |
| pkg_add openxm-version.tgz |
pkg_add openxm-version.tgz |
| OpenXM will be installed to /usr/local/OpenXM |
OpenXM will be installed to /usr/local/OpenXM |
| Go to (4) above. |
|
| 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 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 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, |
| |
goto (2). |
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| |
|
| ¡ú OpenXM Redhat Package manager (Linux) |
¡ú OpenXM Redhat Package manager (Linux) |
| binary ¥Ñ¥Ã¥±¡¼¥¸¤Î¥¤¥ó¥¹¥È¡¼¥ëÊýË¡ |
binary ¥Ñ¥Ã¥±¡¼¥¸¤Î¥¤¥ó¥¹¥È¡¼¥ëÊýË¡ |
| openxm-shared-version-suffix.i386.rpm |
openxm-shared-version-suffix.noarch.rpm |
| openxm-binary-version-suffix.i386.rpm |
openxm-binary-version-suffix.i386.rpm |
| ¤ò ftp ¥µ¥¤¥È¤è¤ê copy ¤·¤Æ, |
¤ò ftp ¥µ¥¤¥È¤è¤ê copy ¤·¤Æ, |
| root ¤Ë¤Ê¤Ã¤Æ, |
root ¤Ë¤Ê¤Ã¤Æ, |
| rpm -i openxm-shared-version-suffix.i386.rpm |
rpm -i openxm-shared-version-suffix.noarch.rpm |
| rpm -i openxm-binary-version-suffix.i386.rpm |
rpm -i openxm-binary-version-suffix.i386.rpm |
| OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
OpenXM ¤Ï /usr/local/OpenXM ¤Ë¥¤¥ó¥¹¥È¡¼¥ë¤µ¤ì¤Þ¤¹. |
| ¤¢¤È¤Ï, ¾å¤Î (4) ¤Ø. |
|
| ¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, |
¤³¤³¤Ç version ¤Ï OpenXM ¤Î version ÈÖ¹æ¤Ç, ¤¿¤È¤¨¤Ð, |
| 2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 |
2000, 3/20(Mon) ÈÇ¤Ï 1.1.2 |
| suffix ¤Ï, RPM ÈǤΠminor version number. |
suffix ¤Ï, RPM ÈǤΠminor version number. |
| |
|
| Debian ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, ¥³¥Þ¥ó¥É alien ¤Ç, rpm ·Á¼°¤ò deb ·Á¼°¤Ë |
/usr/local ¤Î²¼¤Ø¥¤¥ó¥¹¥È¡¼¥ë¤·¤Ê¤«¤Ã¤¿¾ì¹ç¤Ï, (2) ¤ò¼Â¹Ô¤·¤Æ²¼¤µ¤¤. |
| ÊÑ´¹¤Ç¤¤Þ¤¹. |
|
| |
|
| |
libgd ¤Î¥¤¥ó¥¹¥È¡¼¥ë¤¬É¬Íפʾì¹ç¤â¤¢¤ê¤Þ¤¹. |
| |
libgd ¤¬¥¤¥ó¥¹¥È¡¼¥ë¤·¤Æ¤Ê¤¤¾ì¹ç, |
| |
http://www.redhat.com/downloads ¤Ø¥¢¥¯¥»¥¹¤·, libgd ¤ò¥¤¥ó¥¹¥È¡¼¥ë |
| |
¤·¤Æ²¼¤µ¤¤. |
| |
|
| */ |
*/ |
| /*&eg |
/*&eg |
| |
|
| ***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux) |
***** HOW TO INSTALL OpenXM by the redhat Package manager (Linux) |
| Copy |
Copy |
| openxm-shared-version-suffix.i386.rpm |
openxm-shared-version-suffix.noarch.rpm |
| openxm-binary-version-suffix.i386.rpm |
openxm-binary-version-suffix.i386.rpm |
| from our ftp cite. |
from our ftp cite. |
| Become the super user and type |
Become the super user and type |
| rpm -i openxm-shared-version-suffix.i386.rpm |
rpm -i openxm-shared-version-suffix.noarch.rpm |
| rpm -i openxm-binary-version-suffix.i386.rpm |
rpm -i openxm-binary-version-suffix.i386.rpm |
| OpenXM will be installed to /usr/local/OpenXM |
OpenXM will be installed to /usr/local/OpenXM |
| Go to (4) above. |
|
| 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 |
| suffix is the minor version number of the package. |
suffix is the minor version number of the package. |
| |
|
| If you are using debian, please use the command alien to translate |
If you do not install under /usr/local, goto (2). |
| rpm to deb. |
|
| |
|
| |
You might need to install libgd. |
| |
If it is not installed in your system, access to |
| |
http://www.redhat.com/downloads and get libgd. |
| */ |
*/ |
| |
|
| /*&C |
/*&C |
| |
|
| |
--------------------------------------------------------- |
| |
|
| |
*/ |
| |
|
| |
/*&C |
| |
|
| ***** OpenXM client programs under OpenXM/bin or /usr/local/bin: |
***** OpenXM client programs under OpenXM/bin or /usr/local/bin: |
| asir |
asir |
| oxmath |
oxmath |
| Line 272 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 353 If you use only OpenXM clients, skip (3) and (3'). |
|
| Experimental: |
Experimental: |
| OpenXM/bin/k0, OpenXM/bin/d0 |
OpenXM/bin/k0, OpenXM/bin/d0 |
| Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
Asir client functions: m_* (Mathematica) , om_* (OpenMath) |
| |
OpenXM/lib/java-support/ * |
| 70% |
70% |
| OpenXM/bin/ox_math, OpenXM/bin/math2ox |
OpenXM/bin/ox_math, OpenXM/bin/math2ox |
| Asir client functions: om_* (OpenMath) |
|
| OpenXM/lib/java-support/ * |
|
| 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 295 csh ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, .cshrc ¤Ç |
|
| Line 384 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 --- /usr/ports/java/jdk ¤ò¸«¤Æ¤¯¤À¤µ¤¤. |
| |
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 |
| toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ¤Þ¤»¤ó. |
toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ¤Þ¤»¤ó. |
| Line 311 Bash users put the following line to .bashrc |
|
| Line 404 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 |
| |
|
| |
|
| |
Where can I get jdk? : FreeBSD --- see /usr/ports/java/jdk |
| |
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 319 So, it cannot be used for the OpenMath module. |
|
| Line 418 So, it cannot be used for the OpenMath module. |
|
| |
|
| /*&C |
/*&C |
| |
|
| |
-------------------------------------------------------- |
| |
|
| |
|
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| ¡ú Æ°ºî´Ä¶ |
¡ú Æ°ºî´Ä¶ |
| Line 333 So, it cannot be used for the OpenMath module. |
|
| Line 432 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 395 The installation is completed. |
|
| Line 494 The installation is completed. |
|
| |
|
| */ |
*/ |
| |
|
| |
/*&C |
| |
|
| |
----------------------------------------------------- |
| |
|
| |
*/ |
| |
|
| /*&jp |
/*&jp |
| ¡ú ʸ½ñ |
¡ú ʸ½ñ |
| |
|
| Line 522 OpenXM/Copyright ¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
|
| Line 627 OpenXM/Copyright ¤ò¸æÍ÷¤¯¤À¤µ¤¤. |
|
| See OpenXM/Copyright. |
See OpenXM/Copyright. |
| */ |
*/ |
| |
|
| |
//&C |
| |
//&C ---------------------------------------------- |
| |
//&C |
| |
|
| /*&eg |
/*&eg |
| |
|
| |
|
| Line 533 See OpenXM/Copyright. |
|
| Line 642 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 572 OpenXM/src/OpenMath ¤Î¥³¥ó¥Ñ¥¤¥ë¤ª¤è¤ÓÍøÍÑ¤Ë¤Ï |
|
| Line 701 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 583 you need jdk (java environment). |
|
| Line 712 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, |
| Line 593 prepare empty shell scripts ptex and nkf. |
|
| Line 722 prepare empty shell scripts ptex and nkf. |
|
| /*&C |
/*&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 |
/*&jp |
| |
¥·¥¹¥Æ¥à¤òÆ°¤«¤¹¤Ë¤Ï, OpenXM/rc/dot.cshrc ¤Þ¤¿¤Ï |
| OpenXM_contrib2/asir2000 ¤ÎÇÛÉÛ¤ò¼õ¤±¤Æ¤Ê¤¤¾ì¹ç (¥½¡¼¥¹¥é¥¤¥»¥ó¥¹¤ò |
OpenXM/rc/dot.bashrc ¤ò source ¥³¥Þ¥ó¥É¤Ç |
| ÉÙ»ÎÄ̤è¤ê¼õ¤±¤ëɬÍפ¬¤¢¤ê¤Þ¤¹), |
¤è¤ß¤³¤ß´Ä¶ÊÑ¿ô¤ÎÃͤòŬÀÚ¤ËÀßÄꤹ¤ëɬÍפ¬¤¢¤ê¤Þ¤¹. |
| OpenXM/src/Makefile ¤Î³Æ¥â¥¸¥å¡¼¥ë̾ ¤¿¤È¤¨¤Ð |
|
| make all-kan96xx |
|
| ¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. |
|
| |
|
| ¤Þ¤¿¤Ï |
¥³¥Þ¥ó¥É |
| OpenXM/src/asir2000 ¤Î Makefile ¤ò Makefile.forSkip ¤ËÃÖ¤´¹¤¨¤Æ |
cd OpenXM/rc |
| ²¼¤µ¤¤. |
make |
| |
¤Ç dot.cshrc ¤ª¤è¤Ó dot.bashrc ¤¬À¸À®¤µ¤ì¤Þ¤¹. |
| |
¤³¤ì¤é¤Î¥Õ¥¡¥¤¥ë¤ò source ¥³¥Þ¥ó¥É¤Ç, |
| |
.cshrc ¤Þ¤¿¤Ï .bashrc (¤Þ¤¿¤Ï .bash_profile) ¤è¤êÆɤà¤è¤¦¤Ë¤·¤Æ²¼¤µ¤¤. |
| |
*/ |
| |
/*&C |
| |
|
| */ |
*/ |
| |
|
| |
//&C --------------------------------------------------------- |
| |
|
| /*&eg |
/*&eg |
| |
***** How to generate a subset of the full OpenXM package |
| If you cannot get a source liscence of OpenXM_contrib2/asir2000 |
from the head branch. |
| from Fujitsu labs, |
* The souce tarball of the head branch is at |
| compile each modules independently, e.g., |
ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz |
| make all-kan96xx |
Get this tarball by the ftp command. Extract the directories |
| |
OpenXM OpenXM_contrib OpenXM_contrib2 |
| |
by |
| |
tar xzvf openxm-head.tar.gz |
| |
*/ |
| |
/*&jp |
| |
¡ú OpenXM package ¤Î°ìÉôʬ¤Î¤ßÀ¸À®¤¹¤ëÊýË¡ (head branch ¤è¤ê). |
| |
* Head ¥Ö¥é¥ó¥Á¤Î tarball ¤Ï |
| |
ftp.math.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz |
| |
¤Ë¤¢¤ê¤Þ¤¹. ¤³¤ì¤ò ftp ¤Ç¼èÆÀ¤·¤Æ¤«¤é |
| |
tar xzvf openxm-head.tar.gz |
| |
¤òŸ³«¤·¤Æ¤¯¤À¤µ¤¤. |
| |
OpenXM OpenXM_contrib OpenXM_contrib2 ¤¬ºîÀ®¤µ¤ì¤Þ¤¹. |
| |
*/ |
| |
/*&C |
| |
|
| Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. |
*/ |
| |
/*&eg |
| |
[Subpackage asir] If you want to generate only Risa/Asir, |
| |
type in as follows. |
| |
*/ |
| |
/*&jp |
| |
[Éôʬ¥Ñ¥Ã¥±¡¼¥¸ asir] Risa/Asir ¤Î¤ß¤òÀ¸À®¤·¤¿¤¤¾ì¹ç¤Ï, |
| |
¤Ä¤®¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. |
| |
*/ |
| |
/*&C |
| |
|
| |
(cd OpenXM/src ; make install-asir) |
| |
(cd OpenXM/rc ; make ) |
| |
|
| */ |
*/ |
| |
/*&eg |
| |
Copy the shell script "asir" at OpenXM/rc in your search path, e.g., |
| |
/usr/local/bin or ~/bin |
| |
Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source |
| |
command from your ~/.bashrc or ~/.cshrc. |
| |
*/ |
| |
/*&jp |
| |
OpenXM/rc ¤Î²¼¤Î¥·¥§¥ë¥¹¥¯¥ê¥×¥È "asir" ¤ò¥µ¡¼¥Á¥Ñ¥¹¤Ë¥³¥Ô¡¼¤·¤Æ |
| |
¤¯¤À¤µ¤¤ (¤¿¤È¤¨¤Ð, /usr/local/bin or ~/bin ¤Ø). |
| |
¤Þ¤¿¤Ï OpenXM/rc/dot.bashrc ¤« OpenXM/rc/dot.cshrc ¤ò |
| |
source ¥³¥Þ¥ó¥É¤Ç ~/.bashrc ¤« ~/.cshrc ¤è¤êÆɤ߹þ¤ó¤Ç¤¯¤À¤µ¤¤. |
| |
*/ |
| |
/*&C |
| |
|
| |
*/ |
| |
/*&eg |
| |
[Subpackage kan-ox] If you want to generate only kan/k0, kan/sm1 and asir |
| |
type in as follows. |
| |
*/ |
| |
/*&jp |
| |
[Éôʬ¥Ñ¥Ã¥±¡¼¥¸ kan-ox] Kan/k0, Kan/sm1, asir ¤Î¤ß¤òÀ¸À®¤·¤¿¤¤¾ì¹ç¤Ï, |
| |
¤Ä¤®¤Î¤è¤¦¤ËÆþÎϤ·¤Þ¤¹. |
| |
*/ |
| |
/*&C |
| |
|
| |
(cd OpenXM/src ; make install-kan-ox) |
| |
(cd OpenXM/rc ; make ) |
| |
|
| |
*/ |
| |
/*&eg |
| |
Copy the shell script "asir", "sm1" and "openxm" at OpenXM/rc |
| |
to your search path, e.g., |
| |
/usr/local/bin or ~/bin |
| |
Or, read OpenXM/rc/dot.bashrc or OpenXM/rc/dot.bashrc by the source |
| |
command from your ~/.bashrc or ~/.cshrc. |
| |
*/ |
| |
/*&jp |
| |
OpenXM/rc ¤Î²¼¤Î¥·¥§¥ë¥¹¥¯¥ê¥×¥È "asir", "sm1", "openxm" ¤ò |
| |
¥µ¡¼¥Á¥Ñ¥¹¤Ë¥³¥Ô¡¼¤·¤Æ |
| |
¤¯¤À¤µ¤¤ (¤¿¤È¤¨¤Ð, /usr/local/bin or ~/bin ¤Ø). |
| |
¤Þ¤¿¤Ï OpenXM/rc/dot.bashrc ¤« OpenXM/rc/dot.cshrc ¤ò |
| |
source ¥³¥Þ¥ó¥É¤Ç ~/.bashrc ¤« ~/.cshrc ¤è¤êÆɤ߹þ¤ó¤Ç¤¯¤À¤µ¤¤. |
| |
*/ |
| |
|
| |
//&C |
| |
//&C ------------------------------------------------------ |
| |
//&C |
| /*&jp |
/*&jp |
| |
|
| [OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
[OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
| Line 699 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
| Line 918 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