===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.135
retrieving revision 1.137
diff -u -p -r1.135 -r1.137
--- OpenXM/src/Makefile	2004/02/23 11:38:36	1.135
+++ OpenXM/src/Makefile	2004/03/25 01:52:18	1.137
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.134 2004/02/22 06:39:09 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.136 2004/02/26 23:29:46 takayama Exp $
 
 OpenXM_HOME=..
 OpenXM_contrib=../../OpenXM_contrib
@@ -81,7 +81,7 @@ install: install-oxtags install-util install-asir inst
 	 install-k097 install-kan96xx \
 	 install-kxx install-openmath install-oxmath install-pari \
 	 install-phc install-tigers install-asir-doc install-asir-contrib \
-	 install-misc install-fep install-uuencoded  install-asir-port
+	 install-misc install-fep install-uuencoded  
 
 install-oxtags:
 	(cd ../doc/OpenXM-web ; make install-exec)
@@ -219,7 +219,7 @@ configure: configure-asir \
 	   configure-k097 configure-kan96xx configure-kxx configure-oxmath \
 	   configure-pari configure-gmp
 
-configure-gmp: 
+configure-gmp: install-util
 	(cd gmp; make configure)
 
 configure-asir: