| version 1.2, 2004/02/22 06:39:09 | version 1.11, 2006/02/08 08:16:10 | 
|  |  | 
| #!/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.10 2006/02/08 02:06:52 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 | 
| # in the distribution of FLL-free distribution. | # in the distribution of FLL-free distribution. | 
| # Starting script of Risa/Asir may call this shell script. | # Starting script of Risa/Asir may call this shell script. | 
|  | version=`cat $OpenXM_HOME/lib/version.txt` | 
| os=`uname -s` | os=`uname -s` | 
| md=`cat $OpenXM_HOME/lib/asir/distinfo-asir` | md=`cat $OpenXM_HOME/lib/asir/distinfo-asir.md5` | 
| libmd=`cat $OpenXM_HOME/lib/asir/distinfo-lib` | libmd=`cat $OpenXM_HOME/lib/asir/distinfo-asirlib.md5` | 
| # For testing | # For testing | 
| #asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/gzip.exe" | #asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/gzip.exe" | 
| #asirname="gzip.exe" | #asirname="gzip.exe" | 
| #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/OpenXM/head/knoppix/asir-$os-$version.gz" | 
| asirnamegunzip="asir-$os-$md" | asirnamegunzip="asir-$os-$version" | 
| asirname="asir-$os-$md.gz" | asirname="asir-$os-$version.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/OpenXM/head/knoppix/asirlib-$os-$version.tar.gz" | 
| asirlibname="asirlib-$os-$libmd.tar.gz" | asirlibname="asirlib-$os-$version.tar.gz" | 
|  | ot="ftp://ftp.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/ox-texmacs-$os.tar.gz" | 
|  | otname="ox-texmacs-$os.tar.gz" | 
|  |  | 
| if [ $# = 1 ]; then | if [ $# = 1 ]; then | 
| if [ $1 = "--install" ]; then | if [ $1 = "--install" ]; then | 
|  |  | 
| 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 | 
|  |  | 
| _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 ; \ | 
| echo -n "Downloading the binary of asir (1.5M) $asir ... " ; \ | echo -n "Downloading the binary of asir (1.5M) $asir ... " ; \ | 
| 
| Line 65  if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then |  | 
| Line 78  if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then |  | 
| echo "Done." ; \ | echo "Done." ; \ | 
| (cd $HOME/.asir-tmp ; tar xzf $asirlibname) ; \ | (cd $HOME/.asir-tmp ; tar xzf $asirlibname) ; \ | 
| fi | fi | 
|  | if [ ! -f $HOME/.asir-tmp/$otname ]; then | 
|  | echo -n "Downloading $ot plugin... " ; \ | 
|  | oxfetch.sh $ot $HOME/.asir-tmp ; \ | 
|  | echo "Done." ; \ | 
|  | if [ -f $HOME/.TeXmacs/progs/my-init-texmacs.scm ]; then \ | 
|  | echo "Warning .TeXmacs/progs/my-init-texmacs.scm exists"; \ | 
|  | echo "Copy from ~/.asir-tmp/$otname by hand."; \ | 
|  | else (cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \ | 
|  | fi | 
|  | fi | 
|  |  | 
|  | _check_install_error | 
|  |  | 
| $OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* | $OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* | 
|  |  |