===================================================================
RCS file: /home/cvs/OpenXM/rc/Makefile,v
retrieving revision 1.5
retrieving revision 1.13
diff -u -p -r1.5 -r1.13
--- OpenXM/rc/Makefile	2000/01/30 23:47:40	1.5
+++ OpenXM/rc/Makefile	2000/03/09 12:53:34	1.13
@@ -1,10 +1,13 @@
-# $OpenXM: OpenXM/rc/Makefile,v 1.4 2000/01/30 10:40:42 takayama Exp $
+# $OpenXM: OpenXM/rc/Makefile,v 1.12 2000/03/06 08:08:11 takayama Exp $
 # make repl
 # make all
-# make install  [ INSTALL_DIR=/home/hoge/bin ]  ; Default is /usr/local/bin
+# make install  [ PREFIX=/home/hoge ]  ; Default is /usr/local
 CC=gcc
-SHELL_SCRIPTS=asir sm1 gp k0 oxmath oxMathematica
-INSTALL_DIR=/usr/local/bin
+# SHELL_SCRIPTS=asir sm1 oxgp k0 oxmath oxMathematica ox
+SHELL_SCRIPTS=asir sm1 oxgp oxmath oxMathematica ox openxm
+PREFIX=/usr/local
+INSTALL_DIR=${PREFIX}/bin
+MAN_DIR=../man/man1
 
 all :  dot.bashrc  dot.cshrc  openxm  .done_gen-shell-scripts
 
@@ -18,14 +21,14 @@ dot.cshrc : cshrc repl
 	echo "# DO NOT EDIT THIS FILE" >dot.cshrc
 	./repl <cshrc >>dot.cshrc
 
-repl : repl.c
+repl : repl.c 
 	${CC} -static -o repl repl.c
 
 openxm : dot.cshrc
 	rm -f openxm
 	echo "#!/bin/csh" >openxm
 	cat dot.cshrc >>openxm
-	echo '$$*' >>openxm
+	echo 'exec $$*' >>openxm
 	chmod +x openxm
 	cp -f openxm ../bin
 
@@ -33,9 +36,15 @@ openxm : dot.cshrc
 	./gen-shell-scripts
 	touch .done_gen-shell-scripts
 
-install : all
+install : all 
 	cp -f $(SHELL_SCRIPTS) ${INSTALL_DIR}
 
+install.man :
+	-cp openxm.1 ${MAN_DIR}
+
+install.asir_key:
+	-../bin/sm1 -f fetch_asir_key.sm1
+
 clean :
-	rm -f dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts
+	rm -f dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts work