=================================================================== RCS file: /home/cvs/OpenXM/install.txt,v retrieving revision 1.27 retrieving revision 1.28 diff -u -p -r1.27 -r1.28 --- OpenXM/install.txt 2004/02/24 06:16:31 1.27 +++ OpenXM/install.txt 2004/03/25 02:01:15 1.28 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/install.txt,v 1.26 2004/02/23 11:38:36 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. They are integrated with the OpenXM protocols. @@ -48,6 +48,14 @@ 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 +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.