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

Return to asir-port.sh CVS log

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

version 1.10, 2006/02/08 02:06:52

version 1.12, 2006/02/10 06:01:19

Line 1

#!/bin/sh

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.9 2006/02/06 04:54:13 takayama Exp $

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.11 2006/02/08 08:16:10 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 8

version=`cat $OpenXM_HOME/lib/version.txt`

os=`uname -s`

md=`cat $OpenXM_HOME/lib/asir/distinfo-asir.md5`

libmd=`cat $OpenXM_HOME/lib/asir/distinfo-lib.md5`

libmd=`cat $OpenXM_HOME/lib/asir/distinfo-asirlib.md5`

# For testing

#asirname="gzip.exe"

Line 25 otname="ox-texmacs-$os.tar.gz"

if [ $# = 1 ]; then

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

rm -rf $HOME/.asir-tmp

rm -rf $HOME/.asir-tmp ;

rm -f /usr/local/OpenXM/bin/asir ;

if [ -f /usr/local/OpenXM/bin/asir ]; then

$OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* ; exit ;

_agree() {