| version 1.2, 2000/01/18 09:42:17 |
version 1.3, 2000/01/26 23:14:40 |
|
|
| # $OpenXM: OpenXM/rc/Makefile,v 1.1 2000/01/18 09:38:58 takayama Exp $ |
# $OpenXM: OpenXM/rc/Makefile,v 1.2 2000/01/18 09:42:17 takayama Exp $ |
| CC=gcc |
CC=gcc |
| all : dot.bashrc dot.cshrc openxm |
all : dot.bashrc dot.cshrc openxm |
| |
|
| 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 |
| |
|
| clean : |
clean : |
| rm -f dot.bashrc dot.cshrc repl openxm |
rm -f dot.bashrc dot.cshrc repl openxm |