[BACK]Return to install.oxweave CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/install.oxweave between version 1.26 and 1.34

version 1.26, 2000/03/15 10:48:35 version 1.34, 2000/09/05 11:57:04
Line 1 
Line 1 
 %% $OpenXM: OpenXM/doc/install.oxweave,v 1.25 2000/03/15 10:42:57 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
   Q. How to start asir OpenXM clients in the iconic mode?
   A. Add the following line to .Xdefaults or a file you read by xrdb.
   */
   /*&C
   
          ox_xterm*iconic: on
   
 */  */
   /*&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 ¤·¤Æ²¼¤µ¤¤.
      ¥¤¥ó¥¹¥È¡¼¥ë½ªÎ»¸å¤Î¥á¥Ã¥»¡¼¥¸¤Ë¤·¤¿¤¬¤¤, ɬÍפÊÀßÄê¤ò
      ¤ª¤³¤Ê¤Ã¤Æ²¼¤µ¤¤.
   
      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
     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).  
   
     If you can get your mails under /var/mail, you can automatically set  ***** HOW TO INSTALL OpenXM FreeBSD binary package
     your key by executing     Copy
        /xxx/yyy/OpenXM/rc/fetch_asir_key        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
   
     If you install the OpenXM package by the pkg_add of FreeBSD or     java and linux emulation are required to run OpenXM packages.
     the redhat package manager, the old key file     Java needs to be in the search path. So, for example, execute pkg_add
     /usr/local/OpenXM/lib/asir/asir_key, if exists,  is saved.     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
   
   ¡ú 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:
  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.
 */  */
 /*&C  /*&C
Line 212  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 228  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 250  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 270  OS package.
Line 394  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_*
Line 510  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 616  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
   

Legend:
Removed from v.1.26  
changed lines
  Added in v.1.34

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>