===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.133
retrieving revision 1.138
diff -u -p -r1.133 -r1.138
--- OpenXM/src/Makefile	2003/11/27 12:10:18	1.133
+++ OpenXM/src/Makefile	2004/06/14 09:07:32	1.138
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.132 2003/09/14 01:19:55 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.137 2004/03/25 01:52:18 takayama Exp $
 
 OpenXM_HOME=..
 OpenXM_contrib=../../OpenXM_contrib
@@ -74,14 +74,14 @@ all-misc : install-util
 
 all-rc:
 	(cd ../rc ; make )
-all-util: 
+all-util: configure-util
 	(cd util ; make all)
 
 install: install-oxtags install-util install-asir install-gnuplot \
 	 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-misc install-fep install-uuencoded  
 
 install-oxtags:
 	(cd ../doc/OpenXM-web ; make install-exec)
@@ -168,6 +168,9 @@ install-rc: all-rc
 install-uuencoded:
 	(cd uuencoded ; make install)
 
+install-asir-port:
+	(cd asir-port ; make install)
+
 clean:
 	-rm ./.configure-links-done
 	-rm ${OpenXM_contrib}/gmp/.gmp_*
@@ -211,12 +214,15 @@ distclean: clean
 	       $(BINDIR)/oxlog $(BINDIR)/oxweave $(BINDIR)/sm1 \
 	       $(LIBDIR)/k097 $(LIBDIR)/sm1 
 
-configure: configure-asir \
+configure: configure-util configure-asir \
 	   configure-gnuplot \
 	   configure-k097 configure-kan96xx configure-kxx configure-oxmath \
 	   configure-pari configure-gmp
 
-configure-gmp: 
+configure-util:
+	(cd util; ./make-configure)
+
+configure-gmp: install-util
 	(cd gmp; make configure)
 
 configure-asir: 
@@ -260,6 +266,12 @@ all-Copyright :
 install-all-asir-lib:
 	(cd asir2000 ; make install-lib-small)
 
+install-document: install-document-kan96xx install-document-asir-contrib
+
+install-document-kan96xx: install-kan96xx
+	(cd kan96xx ; make install-document)
+install-document-asir-contrib: install-asir-contrib
+	(cd asir-contrib; make install-document)
 
 ## Targets for debugging
 install-for-debug: