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.13, 2006/02/13 04:37:36

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.12 2006/02/10 06:01:19 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 20 asirnamegunzip="asir-$os-$version"

asirname="asir-$os-$version.gz"

asirlibname="asirlib-$os-$version.tar.gz"

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

otname="ox-texmacs-$os-$version.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() {