Return to asir-install.sh CVS log | Up to [local] / OpenXM / src / asir-port |
version 1.2, 2004/03/02 09:51:45 | version 1.4, 2005/02/03 06:42:40 | ||
---|---|---|---|
|
|
||
#!/bin/sh | #!/bin/sh | ||
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.1 2004/02/27 00:12:22 takayama Exp $ | # $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.3 2004/05/05 10:41:45 takayama Exp $ | ||
# Downloading Risa/Asir for FLL-free systems. | # Downloading Risa/Asir for FLL-free systems. | ||
# Risa/Asir is installed under $OpenXM_HOME/bin | # Risa/Asir is installed under $OpenXM_HOME/bin | ||
os=`uname -s` | os=`uname -s` | ||
|
|
||
#asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/tar.exe" | #asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/tar.exe" | ||
#asirlibname="tar.exe" | #asirlibname="tar.exe" | ||
# | # | ||
asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/asir-$os-$md.gz" | asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix-all/knoppix-2005-02/asir-$os-$md.gz" | ||
asirnamegunzip="asir-$os-$md" | asirnamegunzip="asir-$os-$md" | ||
asirname="asir-$os-$md.gz" | asirname="asir-$os-$md.gz" | ||
asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/asirlib-$os-$libmd.tar.gz" | asirlib="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix-all/knoppix-2005-02/asirlib-$os-$libmd.tar.gz" | ||
asirlibname="asirlib-$os-$libmd.tar.gz" | asirlibname="asirlib-$os-$libmd.tar.gz" | ||
ot="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix/ox-texmacs-$os.tar.gz" | ot="ftp://ftp.math.kobe-u.ac.jp/pub/asir/knoppix-all/knoppix-2005-02/ox-texmacs-$os.tar.gz" | ||
otname="ox-texmacs-$os.tar.gz" | otname="ox-texmacs-$os.tar.gz" | ||
ASIR_LIB_FILES=alph bfct bgk const cyclic defs.h dmul fctrdata fctrtest \ | ASIR_LIB_FILES="alph bfct bgk const cyclic defs.h dmul fctrdata fctrtest \ | ||
fff gr ifplot katsura mat nf num primdec \ | fff gr ifplot katsura mat nf num primdec \ | ||
ratint robot solve sp sturm xm | ratint robot solve sp sturm xm" | ||
if [ $# = 1 ]; then | if [ $# = 1 ]; then | ||
if [ $1 = "--force" ]; then | if [ $1 = "--force" ]; then | ||
rm -rf $HOME/.asir-tmp | rm -rf $HOME/.asir-tmp | ||
|
|
||
_agree | _agree | ||
} | } | ||
_check_install_error() { | |||
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then | |||
echo "Installation of Risa/Asir from the network seems to be failed."; \ | |||
echo "Please check if your computer is connected to the internet "; \ | |||
echo " and you can download files from ftp.math.kobe-u.ac.jp "; \ | |||
echo " by passive ftp."; \ | |||
sleep 60 ; \ | |||
exit ; \ | |||
fi | |||
} | |||
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then | if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then | ||
_agree ; \ | _agree ; \ | ||
|
|
||
fi | fi | ||
fi | fi | ||
_check_install_error | |||
echo "Installation is completed." | echo "Installation is completed." | ||