version 1.15, 2001/08/29 11:18:58 |
version 1.16, 2001/09/18 05:30:55 |
|
|
# $OpenXM: OpenXM/rc/Makefile,v 1.14 2000/03/10 02:13:29 takayama Exp $ |
# $OpenXM: OpenXM/rc/Makefile,v 1.15 2001/08/29 11:18:58 takayama Exp $ |
# make repl |
# make repl |
# make all |
# make all |
# make install [ PREFIX=/home/hoge ] ; Default is /usr/local |
# make install [ PREFIX=/home/hoge ] ; Default is /usr/local |
|
|
|
|
openxm : dot.cshrc |
openxm : dot.cshrc |
rm -f openxm |
rm -f openxm |
echo "#!/bin/csh" >openxm |
echo "#!/bin/sh" >openxm |
cat dot.cshrc >>openxm |
cat dot.bashrc >>openxm |
echo 'exec $$*' >>openxm |
echo 'exec $$*' >>openxm |
chmod +x openxm |
chmod +x openxm |
cp -f openxm ../bin |
cp -f openxm ../bin |