version 1.1, 2004/02/27 00:12:22 |
version 1.3, 2004/05/05 10:41:45 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM$ |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.2 2004/03/02 09:51:45 takayama Exp $ |
# Downloading Risa/Asir for FLL-free systems. |
# Downloading Risa/Asir for FLL-free systems. |
# Risa/Asir is installed under $OpenXM_HOME/bin |
# Risa/Asir is installed under $OpenXM_HOME/bin |
os=`uname -s` |
os=`uname -s` |
Line 19 asirlibname="asirlib-$os-$libmd.tar.gz" |
|
Line 19 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/ox-texmacs-$os.tar.gz" |
otname="ox-texmacs-$os.tar.gz" |
otname="ox-texmacs-$os.tar.gz" |
|
|
ASIR_LIB_FILES=alph bfct bgk const cyclic defs.h dmul fctrdata fctrtest \ |
ASIR_LIB_FILES="alph bfct bgk const cyclic defs.h dmul fctrdata fctrtest \ |
fff gr ifplot katsura mat nf num primdec \ |
fff gr ifplot katsura mat nf num primdec \ |
ratint robot solve sp sturm xm |
ratint robot solve sp sturm xm" |
|
|
|
|
if [ $# = 1 ]; then |
if [ $# = 1 ]; then |
if [ $1 = "--force" ]; then |
if [ $1 = "--force" ]; then |
rm -rf $HOME/.asir-tmp |
rm -rf $HOME/.asir-tmp |
|
|
_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 ; \ |
|
exit ; \ |
|
fi |
|
} |
|
|
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
_agree ; \ |
_agree ; \ |
Line 75 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
Line 86 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
echo -n "Downloading the $ot plugin... " ; \ |
echo -n "Downloading the $ot plugin... " ; \ |
oxfetch.sh $ot $HOME/.asir-tmp ; \ |
oxfetch.sh $ot $HOME/.asir-tmp ; \ |
echo "Done." ; \ |
echo "Done." ; \ |
(cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \ |
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 |
fi |
|
|
|
_check_install_error |
|
|
echo "Installation is completed." |
echo "Installation is completed." |
|
|