version 1.10, 2006/02/08 02:06:52 |
version 1.11, 2006/02/08 08:16:10 |
|
|
#!/bin/sh |
#!/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.10 2006/02/08 02:06:52 takayama Exp $ |
# Downloading Risa/Asir for FLL-free systems. |
# Downloading Risa/Asir for FLL-free systems. |
# Risa/Asir is installed under $HOME/.asir-tmp/$asirname |
# Risa/Asir is installed under $HOME/.asir-tmp/$asirname |
# Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist |
# Symbolic link to $asirname from $OpenXM_HOME/bin/asir must exist |
|
|
version=`cat $OpenXM_HOME/lib/version.txt` |
version=`cat $OpenXM_HOME/lib/version.txt` |
os=`uname -s` |
os=`uname -s` |
md=`cat $OpenXM_HOME/lib/asir/distinfo-asir.md5` |
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 |
# For testing |
#asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/gzip.exe" |
#asir="ftp://ftp.math.kobe-u.ac.jp/pub/asir/gzip.exe" |
#asirname="gzip.exe" |
#asirname="gzip.exe" |