| version 1.2, 2004/02/22 06:39:09 |
version 1.3, 2004/02/24 05:43:14 |
|
|
| #!/bin/sh |
#!/bin/sh |
| # $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.1 2004/02/21 12:57:32 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.2 2004/02/22 06:39:09 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 |
|
|
| fi |
fi |
| _agree |
_agree |
| } |
} |
| |
|
| |
# If there is un usb memory, then download under the usb memory. |
| |
if [ -d /mnt/sda1/.asir-tmp ] ; then |
| |
rm -f $HOME/.asir-tmp ; \ |
| |
ln -s /mnt/sda1/.asir-tmp $HOME/.asir-tmp |
| |
fi |
| |
if [ -d /mnt/sdb1/.asir-tmp ] ; then |
| |
rm -f $HOME/.asir-tmp ; \ |
| |
ln -s /mnt/sdb1/.asir-tmp $HOME/.asir-tmp |
| |
fi |
| |
|
| if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
| _agree ; \ |
_agree ; \ |