| version 1.11, 2006/02/08 08:16:10 |
version 1.12, 2006/02/10 06:01:19 |
|
|
| #!/bin/sh |
#!/bin/sh |
| # $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.10 2006/02/08 02:06:52 takayama Exp $ |
# $OpenXM: OpenXM/src/asir-port/asir-port.sh,v 1.11 2006/02/08 08:16:10 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 |
| Line 25 otname="ox-texmacs-$os.tar.gz" |
|
| Line 25 otname="ox-texmacs-$os.tar.gz" |
|
| |
|
| if [ $# = 1 ]; then |
if [ $# = 1 ]; then |
| if [ $1 = "--install" ]; then |
if [ $1 = "--install" ]; then |
| rm -rf $HOME/.asir-tmp |
rm -rf $HOME/.asir-tmp ; |
| |
rm -f /usr/local/OpenXM/bin/asir ; |
| fi |
fi |
| |
fi |
| |
|
| |
if [ -f /usr/local/OpenXM/bin/asir ]; then |
| |
$OpenXM_HOME/bin/fep $OpenXM_HOME/bin/asir $* ; exit ; |
| fi |
fi |
| |
|
| _agree() { |
_agree() { |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to asir-port.sh CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-port