version 1.4, 2005/02/03 06:42:40 |
version 1.6, 2005/04/20 22:24:39 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.3 2004/05/05 10:41:45 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-install.sh,v 1.5 2005/03/26 22:26:25 takayama Exp $ |
# Downloading Risa/Asir for FLL-free systems. |
# Downloading Risa/Asir for FLL-free systems |
# Risa/Asir is installed under $OpenXM_HOME/bin |
# under $HOME/.asir-tmp and installs asir to $OpenXM_HOME/bin |
|
# |
|
# In the Debian package, /usr/local/OpenXM/bin/asir is the symbolic link to |
|
# /home/knoppix/.asir-tmp/asir. |
|
# So, on non-knoppix system, execute |
|
# (export OpenXM_HOME=/usr/local/OpenXM; openxm asir-install.sh) |
|
# as the root in the bash to install the asir under /usr/local/OpenXM/bin. |
|
# /root/.asir-tmp will be a work-directory in this case. |
|
# |
|
echo $HOME |
os=`uname -s` |
os=`uname -s` |
md=`cat $OpenXM_HOME/lib/asir/distinfo-asir` |
md=`cat $OpenXM_HOME/lib/asir/distinfo-asir` |
libmd=`cat $OpenXM_HOME/lib/asir/distinfo-lib` |
libmd=`cat $OpenXM_HOME/lib/asir/distinfo-lib` |