version 1.9, 2006/02/08 08:16:10 |
version 1.10, 2006/02/10 01:57:23 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.8 2006/02/08 02:06:52 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 |
# |
# |
|
|
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 |