version 1.2, 2004/03/02 09:51:45 |
version 1.14, 2007/11/18 01:56:25 |
|
|
#!/bin/sh |
#!/bin/bash |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.1 2004/02/27 00:12:22 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.13 2006/06/28 12:13:54 takayama Exp $ |
# Downloading Risa/Asir for FLL-free systems. |
# Downloading Risa/Asir for FLL-free systems |
# Risa/Asir is installed under $OpenXM_HOME/bin |
# under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
|
# |
|
# In the Debian package, /usr/local/OpenXM/bin/asir is the symbolic link to |
|
# /home/knoppix/.asir-tmp/asir. |
|
# So, on non-knoppix system, execute |
|
# (export OpenXM_HOME=/usr/local/OpenXM; openxm asir-install.sh) |
|
# as the root in the bash to install the asir under /usr/local/OpenXM/bin. |
|
# /root/.asir-tmp will be a work-directory in this case. |
|
# |
|
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="http://www.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="http://www.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="http://www.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="http://www.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/asir/knoppix/ox-texmacs-$os.tar.gz" |
ot="http://www.math.kobe-u.ac.jp/pub/OpenXM/head/knoppix/ox-texmacs-$os-$version.tar.gz" |
otname="ox-texmacs-$os.tar.gz" |
otname="ox-texmacs-$os-$version.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 |
|
|
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 www.math.kobe-u.ac.jp "; \ |
|
echo " by http."; \ |
|
sleep 60 ; \ |
|
exit ; \ |
|
fi |
|
} |
|
|
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
_agree ; \ |
_agree ; \ |
Line 61 if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
|
Line 81 if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then |
|
echo "Done." ; \ |
echo "Done." ; \ |
gunzip $HOME/.asir-tmp/$asirname ; \ |
gunzip $HOME/.asir-tmp/$asirname ; \ |
chmod +x $HOME/.asir-tmp/$asirnamegunzip ; \ |
chmod +x $HOME/.asir-tmp/$asirnamegunzip ; \ |
|
rm -f $OpenXM_HOME/bin/asir ; \ |
install -m 755 $HOME/.asir-tmp/$asirnamegunzip $OpenXM_HOME/bin/asir ; \ |
install -m 755 $HOME/.asir-tmp/$asirnamegunzip $OpenXM_HOME/bin/asir ; \ |
fi |
fi |
if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then |
if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then |
Line 82 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
Line 103 if [ ! -f $HOME/.asir-tmp/$otname ]; then |
|
fi |
fi |
fi |
fi |
|
|
|
_check_install_error |
|
|
echo "Installation is completed." |
echo "Installation is completed." |
|
|