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

Return to asir-port.sh CVS log

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

version 1.14, 2006/06/28 11:41:11

version 1.16, 2007/11/18 01:56:25

Line 1

#!/bin/sh

#!/bin/bash

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.13 2006/02/13 04:37:36 takayama Exp $

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.15 2006/06/28 12:13:54 takayama Exp $

# Downloading Risa/Asir for FLL-free systems.

# Risa/Asir is installed under $HOME/.asir-tmp/$asirname

# Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist

Line 61 _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 " and you can download files from www.math.kobe-u.ac.jp "; \

echo " by passive ftp."; \

echo " by http."; \

sleep 60 ; \

}