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

Diff for /OpenXM/install.txt between version 1.24 and 1.28

version 1.24, 2004/02/13 00:51:23 version 1.28, 2004/03/25 02:01:15
Line 1 
Line 1 
 %%  $OpenXM: OpenXM/install.txt,v 1.23 2003/09/13 01:46:27 takayama Exp $  %%  $OpenXM: OpenXM/install.txt,v 1.27 2004/02/24 06:16:31 takayama Exp $
   
 The OpenXM package is a package of mathematical software systems.  The OpenXM package is a package of mathematical software systems.
 They are integrated with the OpenXM protocols.  They are integrated with the OpenXM protocols.
 The OpenXM protocol provides an infrastructure for free, or open source  The OpenXM protocol provides an infrastructure for
 mathematical software systems.  mathematical software systems.
   
 As to installation procedures,  As to installation procedures,
Line 18  in the source distribution.
Line 18  in the source distribution.
 As to the licence of OpenXM, see the directory Copyright (BSD, Fujitsu, ...).  As to the licence of OpenXM, see the directory Copyright (BSD, Fujitsu, ...).
 We understand that you agree with our licence when you started "make".  We understand that you agree with our licence when you started "make".
 If you provide binaries generated to "users", you need to let users know  If you provide binaries generated to "users", you need to let users know
 that once an user starts our system, he/she agrees with our licence.  that we understand that once an user starts our system, he/she agrees
   with our licence.
   
 -------- An instruction for a quick installation from the source code ---  -------- An instruction for a quick installation from the source code ---
 (cd OpenXM/src ; make install)  (cd OpenXM/src ; make install)
Line 36  or (cd OpenXM/rc ; make )
Line 37  or (cd OpenXM/rc ; make )
              You will get only asir and kan/sm1.               You will get only asir and kan/sm1.
 (cd OpenXM/rc ; make install)  (cd OpenXM/rc ; make install)
   
   ------- Generating html/ps documents under OpenXM/doc
   After installation,
   (cd OpenXM/src ;  make install-document)
   
 -------------------------------------------  -------------------------------------------
 Risa/Asir with asir-contrib is the main client system in the OpenXM project.  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  You can start Risa/Asir by the command "asir", which is called
Line 43  OpenXM/Risa/Asir.
Line 48  OpenXM/Risa/Asir.
 It is build by (cd OpenXM/src ; make install-asir-contrib)  It is build by (cd OpenXM/src ; make install-asir-contrib)
 The manual of Risa/Asir and Asir-contrib can be found in the  The manual of Risa/Asir and Asir-contrib can be found in the
 OpenXM/doc directory and http://www.openxm.org  OpenXM/doc directory and http://www.openxm.org
   
   --------------
   gc and gmp will be automatically downloaded from ftp.math.kobe-u.ac.jp
   and stored in OpenXM_dist (OpenXM/../OpenXM_dist).
   If you cannot connect the ftp server directory,
   please download the files at ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gc*
   and ftp.math.kobe-u.ac.jp/pub/OpenXM/misc/gmp*
   under OpenXM_dist by hand before make.
   
   
   
Legend:
Removed from v.1.24  
changed lines
  Added in v.1.28
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>