version 1.1, 2016/02/12 02:39:26 |
version 1.2, 2016/02/12 02:43:33 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM$ |
# $OpenXM: OpenXM/src/asir-mode/use-asir-mode.sh,v 1.1 2016/02/12 02:39:26 takayama Exp $ |
|
|
_ok_local() { |
_ok_local() { |
echo "------------------------------------------------------------------" |
echo "------------------------------------------------------------------" |
|
|
|
|
if [ $# = 0 ]; then |
if [ $# = 0 ]; then |
echo "Usage: use-asir-mode.sh --local" ; \ |
echo "Usage: use-asir-mode.sh --local" ; \ |
|
echo " use-asir-mode.sh --local-yes" ; \ |
echo " --use-site-lisp has not been implemented." ; \ |
echo " --use-site-lisp has not been implemented." ; \ |
fi |
fi |
|
|
if [ $# = 1 ]; then |
if [ $# = 1 ]; then |
if [ $1 = "--local" ]; then |
if [ $1 = "--local" ]; then |
_ok_local ; \ |
_ok_local ; \ |
|
_install_local ; \ |
|
fi |
|
if [ $1 = "--local-yes" ]; then |
_install_local ; \ |
_install_local ; \ |
fi |
fi |
fi |
fi |