version 1.2, 2000/01/18 09:42:17 |
version 1.4, 2000/01/30 10:40:42 |
|
|
# $OpenXM: OpenXM/rc/Makefile,v 1.1 2000/01/18 09:38:58 takayama Exp $ |
# $OpenXM: OpenXM/rc/Makefile,v 1.3 2000/01/26 23:14:40 takayama Exp $ |
CC=gcc |
CC=gcc |
all : dot.bashrc dot.cshrc openxm |
all : dot.bashrc dot.cshrc openxm .done_gen-shell-scripts |
|
|
dot.bashrc : bashrc repl |
dot.bashrc : bashrc repl |
rm -f dot.bashrc |
rm -f dot.bashrc |
echo "# DO NOT EDIT THIS FILE" >dot.bashrc |
echo "# DO NOT EDIT THIS FILE" >dot.bashrc |
./repl <bashrc >>dot.bashrc |
./repl <bashrc >>dot.bashrc |
Line 13 dot.cshrc : cshrc repl |
|
Line 13 dot.cshrc : cshrc repl |
|
./repl <cshrc >>dot.cshrc |
./repl <cshrc >>dot.cshrc |
|
|
repl : repl.c |
repl : repl.c |
${CC} -o repl repl.c |
${CC} -static -o repl repl.c |
|
|
openxm : dot.cshrc |
openxm : dot.cshrc |
rm -f openxm |
rm -f openxm |
Line 21 openxm : dot.cshrc |
|
Line 21 openxm : dot.cshrc |
|
cat dot.cshrc >>openxm |
cat dot.cshrc >>openxm |
echo '$$*' >>openxm |
echo '$$*' >>openxm |
chmod +x openxm |
chmod +x openxm |
|
cp -f openxm ../bin |
|
|
|
.done_gen-shell-scripts : dot.cshrc Makefile gen-shell-scripts |
|
./gen-shell-scripts |
|
touch .done_gen-shell-scripts |
|
|
clean : |
clean : |
rm -f dot.bashrc dot.cshrc repl openxm |
rm -f dot.bashrc dot.cshrc repl openxm asir sm1 gp k0 .gen-shell-scripts |
|
|