| version 1.30, 2000/03/17 03:22:01 |
version 1.34, 2000/09/05 11:57:04 |
|
|
| %% $OpenXM: OpenXM/doc/install.oxweave,v 1.29 2000/03/16 11:37:19 takayama Exp $ |
%% $OpenXM: OpenXM/doc/install.oxweave,v 1.33 2000/09/05 08:24:34 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 ¥Ñ¥Ã¥±¡¼¥¸¤ÎÍøÍÑÊýË¡ |
| Line 151 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 154 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 |
|
| /usr/local/OpenXM/lib/asir/asir_key, if exists, is saved. |
|
| |
|
| */ |
*/ |
| /*&jp |
/*&jp |
| |
|
| Line 203 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 193 If you use only OpenXM clients, skip (3) and (3'). |
|
| ¥¤¥ó¥¹¥È¡¼¥ë½ªÎ»¸å¤Î¥á¥Ã¥»¡¼¥¸¤Ë¤·¤¿¤¬¤¤, ɬÍפÊÀßÄê¤ò |
¥¤¥ó¥¹¥È¡¼¥ë½ªÎ»¸å¤Î¥á¥Ã¥»¡¼¥¸¤Ë¤·¤¿¤¬¤¤, ɬÍפÊÀßÄê¤ò |
| ¤ª¤³¤Ê¤Ã¤Æ²¼¤µ¤¤. |
¤ª¤³¤Ê¤Ã¤Æ²¼¤µ¤¤. |
| |
|
| |
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 227 If you use only OpenXM clients, skip (3) and (3'). |
|
| Line 227 If you use only OpenXM clients, skip (3) and (3'). |
|
| 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 321 csh ¤òÍøÍѤ·¤Æ¤¤¤ë¾ì¹ç, .cshrc ¤Ç |
|
| Line 329 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 --- |
| |
|
| Ãí°Õ: |
Ãí°Õ: |
| ¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method |
¤Ê¤ª, Kaffe 1.0.b4 ¤Î java ¤Ï, class BigInteger ¤Ë method |
| toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ¤Þ¤»¤ó. |
toByteArray ¤¬´Þ¤Þ¤ì¤Æ¤Ê¤¤¤¿¤á, OpenMath ¥â¥¸¥å¡¼¥ë¤Ç¤Ï»ÈÍѤǤ¤Þ¤»¤ó. |
| Line 337 Bash users put the following line to .bashrc |
|
| Line 348 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 --- |
| |
|
| 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 359 So, it cannot be used for the OpenMath module. |
|
| Line 374 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 619 prepare empty shell scripts ptex and nkf. |
|
| Line 634 prepare empty shell scripts ptex and nkf. |
|
| /*&C |
/*&C |
| |
|
| */ |
*/ |
| /*&jp |
|
| |
|
| OpenXM_contrib2/asir2000 ¤ÎÇÛÉÛ¤ò¼õ¤±¤Æ¤Ê¤¤¾ì¹ç (¥½¡¼¥¹¥é¥¤¥»¥ó¥¹¤ò |
|
| ÉÙ»ÎÄ̤è¤ê¼õ¤±¤ëɬÍפ¬¤¢¤ê¤Þ¤¹), |
|
| OpenXM/src/Makefile ¤Î³Æ¥â¥¸¥å¡¼¥ë̾ ¤¿¤È¤¨¤Ð |
|
| make all-kan96xx |
|
| ¤Ê¤É¤È³Æ¥â¥¸¥å¡¼¥ë̾¤ò»ØÄꤷ¤Æ¥³¥ó¥Ñ¥¤¥ë¤·¤Æ²¼¤µ¤¤. |
|
| |
|
| ¤Þ¤¿¤Ï |
|
| OpenXM/src/asir2000 ¤Î Makefile ¤ò Makefile.forSkip ¤ËÃÖ¤´¹¤¨¤Æ |
|
| ²¼¤µ¤¤. |
|
| |
|
| */ |
|
| /*&eg |
|
| |
|
| If you cannot get a source liscence of OpenXM_contrib2/asir2000 |
|
| from Fujitsu labs, |
|
| compile each modules independently, e.g., |
|
| make all-kan96xx |
|
| |
|
| Or, replace Makefile by Makefile.forSkip in OpenXM/src/asir2000. |
|
| |
|
| */ |
|
| |
|
| /*&jp |
/*&jp |
| |
|
| [OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
[OpenXM ²¼¤Î¥Õ¥¡¥¤¥ë¤Î¹½À®¥á¥â] |
| Line 725 Solaris ¤Ç¥³¥ó¥Ñ¥¤¥ë¤¹¤ë¤Ë¤Ï, /usr/ccs/bin ¤ò¥µ¡¼¥Á¥Ñ¥ |
|
| Line 717 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