version 1.16, 2009/09/13 01:18:53 |
version 1.17, 2010/07/19 09:41:53 |
|
|
#!/bin/bash |
#!/bin/bash |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.15 2009/02/24 10:21:52 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.16 2009/09/13 01:18:53 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 |
# |
# |
|
|
# /root/.asir-tmp will be a work-directory in this case. |
# /root/.asir-tmp will be a work-directory in this case. |
# |
# |
version=`cat $OpenXM_HOME/lib/version.txt` |
version=`cat $OpenXM_HOME/lib/version.txt` |
os=`uname -s` |
os=`dpkg --print-architecture` |
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-asirlib.md5` |
libmd=`cat $OpenXM_HOME/lib/asir/distinfo-asirlib.md5` |
# For testing |
# For testing |