Return to Makefile CVS log | Up to [local] / OpenXM / rc |
File: [local] / OpenXM / rc / Makefile (download)
Revision 1.6, Mon Jan 31 07:46:14 2000 UTC (24 years, 3 months ago) by noro
'$*' -> 'exec $*' in openxm. The former case leaves a shell, which blocks the interrupt signal from keyboard. |
# $OpenXM: OpenXM/rc/Makefile,v 1.6 2000/01/31 07:46:14 noro Exp $ # make repl # make all # make install [ INSTALL_DIR=/home/hoge/bin ] ; Default is /usr/local/bin CC=gcc SHELL_SCRIPTS=asir sm1 gp k0 oxmath oxMathematica INSTALL_DIR=/usr/local/bin all : dot.bashrc dot.cshrc openxm .done_gen-shell-scripts dot.bashrc : bashrc repl rm -f dot.bashrc echo "# DO NOT EDIT THIS FILE" >dot.bashrc ./repl <bashrc >>dot.bashrc dot.cshrc : cshrc repl rm -f dot.cshrc echo "# DO NOT EDIT THIS FILE" >dot.cshrc ./repl <cshrc >>dot.cshrc repl : repl.c ${CC} -static -o repl repl.c openxm : dot.cshrc rm -f openxm echo "#!/bin/csh" >openxm cat dot.cshrc >>openxm echo 'exec $$*' >>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 install : all cp -f $(SHELL_SCRIPTS) ${INSTALL_DIR} clean : rm -f dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts