| version 1.6, 2004/03/04 12:08:30 |
version 1.7, 2004/05/05 10:41:45 |
|
|
| #!/bin/sh |
#!/bin/sh |
| # $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.5 2004/03/02 09:51:45 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.6 2004/03/04 12:08:30 takayama Exp $ |
| # Downloading Risa/Asir for FLL-free systems. |
# Downloading Risa/Asir for FLL-free systems. |
| # Risa/Asir is installed under $HOME/.asir-tmp/$asirname |
# Risa/Asir is installed under $HOME/.asir-tmp/$asirname |
| # Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist |
# Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist |
|
|
| _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 ; \ |
| |
fi |
| |
} |
| |
|
| if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
| _agree ; \ |
_agree ; \ |
| Line 79 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
| Line 88 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
| fi |
fi |
| fi |
fi |
| |
|
| |
_check_install_error |
| |
|
| $OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* |
$OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to asir-port.sh CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-port