version 1.5, 2000/01/30 23:47:40 |
version 1.7, 2000/02/01 12:01:31 |
|
|
# $OpenXM: OpenXM/rc/Makefile,v 1.4 2000/01/30 10:40:42 takayama Exp $ |
# $OpenXM: OpenXM/rc/Makefile,v 1.6 2000/01/31 07:46:14 noro Exp $ |
# make repl |
# make repl |
# make all |
# make all |
# make install [ INSTALL_DIR=/home/hoge/bin ] ; Default is /usr/local/bin |
# make install [ INSTALL_DIR=/home/hoge/bin ] ; Default is /usr/local/bin |
CC=gcc |
CC=gcc |
SHELL_SCRIPTS=asir sm1 gp k0 oxmath oxMathematica |
SHELL_SCRIPTS=asir sm1 gp k0 oxmath oxMathematica ox |
INSTALL_DIR=/usr/local/bin |
INSTALL_DIR=/usr/local/bin |
|
|
all : dot.bashrc dot.cshrc openxm .done_gen-shell-scripts |
all : dot.bashrc dot.cshrc openxm .done_gen-shell-scripts |
Line 25 openxm : dot.cshrc |
|
Line 25 openxm : dot.cshrc |
|
rm -f openxm |
rm -f openxm |
echo "#!/bin/csh" >openxm |
echo "#!/bin/csh" >openxm |
cat dot.cshrc >>openxm |
cat dot.cshrc >>openxm |
echo '$$*' >>openxm |
echo 'exec $$*' >>openxm |
chmod +x openxm |
chmod +x openxm |
cp -f openxm ../bin |
cp -f openxm ../bin |
|
|