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

Return to asir-port.sh CVS log

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

version 1.3, 2004/02/24 05:43:14

version 1.4, 2004/02/27 00:12:22

Line 1

#!/bin/sh

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.2 2004/02/22 06:39:09 takayama Exp $

# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.3 2004/02/24 05:43:14 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 19 asirnamegunzip="asir-$os-$md"

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

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

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

if [ $# = 1 ]; then

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

Line 74 if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then

Line 76 if [ ! -f $HOME/.asir-tmp/$asirlibname ]; then

oxfetch.sh $asirlib $HOME/.asir-tmp ; \

echo "Done." ; \

(cd $HOME/.asir-tmp ; tar xzf $asirlibname) ; \

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

echo -n "Downloading $ot plugin... " ; \

oxfetch.sh $ot $HOME/.asir-tmp ; \

echo "Done." ; \

(cd $HOME ; tar xzf $HOME/.asir-tmp/$otname) ; \