version 1.8, 2006/02/08 02:06:52 |
version 1.9, 2006/02/08 08:16:10 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.7 2006/02/06 04:54:13 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.8 2006/02/08 02:06:52 takayama Exp $ |
# Downloading Risa/Asir for FLL-free systems |
# Downloading Risa/Asir for FLL-free systems |
# under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
# under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
# |
# |
|
|
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" |