OpenXM/src/asir-port/asir-install.sh - diff

Return to asir-install.sh CVS log

Up to [local] / OpenXM / src / asir-port

version 1.2, 2004/03/02 09:51:45

version 1.3, 2004/05/05 10:41:45

Line 1

#!/bin/sh

# $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.2 2004/03/02 09:51:45 takayama Exp $

# Downloading Risa/Asir for FLL-free systems.

# Risa/Asir is installed under $OpenXM_HOME/bin

os=`uname -s`

Line 19 asirlibname="asirlib-$os-$libmd.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 \

ratint robot solve sp sturm xm

ratint robot solve sp sturm xm"

if [ $# = 1 ]; then

if [ $1 = "--force" ]; then

rm -rf $HOME/.asir-tmp

Line 53 _agree() {

Line 54 _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 ; \

}

if [ ! -f $HOME/.asir-tmp/$asirnamegunzip ]; then

_agree ; \

Line 82 if [ ! -f $HOME/.asir-tmp/$otname ]; then

Line 93 if [ ! -f $HOME/.asir-tmp/$otname ]; then

_check_install_error

echo "Installation is completed."