===================================================================
RCS file: /home/cvs/OpenXM/install.txt,v
retrieving revision 1.26
retrieving revision 1.30
diff -u -p -r1.26 -r1.30
--- OpenXM/install.txt	2004/02/23 11:38:36	1.26
+++ OpenXM/install.txt	2008/02/18 06:36:12	1.30
@@ -1,8 +1,8 @@
-%%  $OpenXM: OpenXM/install.txt,v 1.25 2004/02/13 02:28:55 takayama Exp $    
+%%  $OpenXM: OpenXM/install.txt,v 1.29 2004/03/31 01:42:58 takayama Exp $    
 
 The OpenXM package is a package of mathematical software systems.
 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.
 
 As to installation procedures,
@@ -22,6 +22,13 @@ that we understand that once an user starts our system
 with our licence.
 
 -------- An instruction for a quick installation from the source code ---
+During the installation, some library souces are automatically  downloaded
+by the wget command.  If you are in a firewall and cannot use even the passive
+ftp, the environmental variable ftp_proxy may help you.
+See the document of wget.  All necessary library sources are downloaded in
+OpenXM_dist at the same level of OpenXM. If you are offline, please put
+all library sources necessary in this directory by hand.
+
 (cd OpenXM/src ; make install)
              You will get binaries, libraries, and documents under
              OpenXM/bin, OpenXM/lib, OpenXM/doc
@@ -48,6 +55,19 @@ OpenXM/Risa/Asir.
 It is build by (cd OpenXM/src ; make install-asir-contrib)
 The manual of Risa/Asir and Asir-contrib can be found in the 
 OpenXM/doc directory and http://www.openxm.org
+
+--------------
+gc and gmp will be automatically downloaded from 
+   ftp.math.kobe-u.ac.jp/pub/OpenXM/misc
+and stored in OpenXM_dist (OpenXM/../OpenXM_dist) by wget.
+If you cannot connect to 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.
+If you can connect to the ftp server via a proxy server,
+specify your ftp proxy server  in ~/.wgetrc as
+  ftp_proxy = http://proxy.yoyodyne.com:18023/
+See the manual of wget for details.