===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.125
retrieving revision 1.127
diff -u -p -r1.125 -r1.127
--- OpenXM/src/Makefile	2003/09/02 22:18:39	1.125
+++ OpenXM/src/Makefile	2003/09/03 02:03:23	1.127
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.124 2003/09/02 15:15:58 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.126 2003/09/03 00:21:14 takayama Exp $
 
 OpenXM_HOME=..
 OpenXM_contrib=../../OpenXM_contrib
@@ -102,7 +102,7 @@ install-asir: all-asir
 install-gnuplot: all-gnuplot
 	-(cd gnuplot ; make install)
 
-install-k097: all-k097
+install-k097:  install-kxx all-k097
 	(cd k097 ; make install)
 
 install-kan96xx: all-kan96xx
@@ -144,8 +144,14 @@ install-phc: all-phc
 install-tigers: all-tigers
 	(cd tigers ; make install)
 
-install-asir-contrib: install-asir install-kxx install-util
+install-asir-contrib: install-asir-contrib-asir-progs \
+                      install-asir-contrib-oxservers
+install-asir-contrib-oxservers: install-asir install-util \
+                install-k097 install-kxx install-openmath install-oxmath \
+                install-phc install-tigers install-uuencoded install-gnuplot
+install-asir-contrib-asir-progs: install-asir install-util
 	(cd asir-contrib ; make install)
+
 
 install-asir-doc: install-asir
 	-(cd asir-doc ; make install)