version 1.8, 2006/02/08 02:06:52 |
version 1.10, 2006/02/10 01:57:23 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.7 2006/02/06 04:54:13 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.9 2006/02/08 08:16:10 takayama Exp $ |
# Downloading Risa/Asir for FLL-free systems |
# Downloading Risa/Asir for FLL-free systems |
# under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
# under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
# |
# |
|
|
version=`cat $OpenXM_HOME/lib/version.txt` |
version=`cat $OpenXM_HOME/lib/version.txt` |
os=`uname -s` |
os=`uname -s` |
md=`cat $OpenXM_HOME/lib/asir/distinfo-asir.md5` |
md=`cat $OpenXM_HOME/lib/asir/distinfo-asir.md5` |
libmd=`cat $OpenXM_HOME/lib/asir/distinfo-lib.md5` |
libmd=`cat $OpenXM_HOME/lib/asir/distinfo-asirlib.md5` |
# For testing |
# For testing |
#asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/gzip.exe" |
#asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/gzip.exe" |
#asirname="gzip.exe" |
#asirname="gzip.exe" |
|
|
return |
return |
fi |
fi |
if [ $ans = "n" ]; then |
if [ $ans = "n" ]; then |
echo "Aborting the installation." ; \ |
echo "Aborting the installation of asir." ; \ |
exit |
exit |
fi |
fi |
if [ $ans = "v" ]; then |
if [ $ans = "v" ]; then |