![[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|
Return to asir-port.sh CVS log | Up to [local] / OpenXM / src / asir-port |
| version 1.6, 2004/03/04 12:08:30 | version 1.8, 2005/02/03 07:31:55 | ||
|---|---|---|---|
|
|
||
| #!/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.7 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 $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 | ||
|
|
||
| #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" | ||
| if [ $# = 1 ]; then | if [ $# = 1 ]; then | ||
|
|
||
| _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 ; \ | ||
|
|
||
| fi | fi | ||
| fi | fi | ||
| _check_install_error | |||
| $OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* | $OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* | ||