===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.131
retrieving revision 1.142
diff -u -p -r1.131 -r1.142
--- OpenXM/src/Makefile	2003/09/11 00:46:18	1.131
+++ OpenXM/src/Makefile	2004/06/30 22:14:06	1.142
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.130 2003/09/11 00:43:16 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.141 2004/06/30 12:13:05 takayama Exp $
 
 OpenXM_HOME=..
 OpenXM_contrib=../../OpenXM_contrib
@@ -11,7 +11,7 @@ COPYRIGHTDIR=../Copyright
 all: all-util all-gc all-gmp all-asir all-gnuplot all-k097 all-kan96xx \
      all-kxx all-pari all-phc all-openmath all-oxmath all-tigers all-fep
 
-all-gc: 
+all-gc: install-util 
 	(cd gc; make all)
 
 all-gmp: configure-gmp
@@ -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)
@@ -153,11 +153,11 @@ install-asir-contrib-asir-progs: install-asir install-
 	(cd asir-contrib ; make install)
 
 
-install-asir-doc: install-asir
+install-asir-doc: configure-asir-doc install-asir
 	-(cd asir-doc ; make install)
 
 install-misc:
-	(cd ../rc ; make install.man)
+	(cd ../rc ; make install-man)
 
 install-fep: all-fep
 	-(cd ${OpenXM_contrib2}/fep ; make PREFIX=../../OpenXM install)
@@ -168,12 +168,15 @@ 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_*
 	-rm ${OpenXM_contrib}/gc/.gc_*
-	-(cd ${OpenXM_contrib}/gmp ; make clean)
-	-(cd ${OpenXM_contrib}/gc ; make clean ; /bin/rm -f *.a)
+	-(cd gmp ; make clean)
+	-(cd gc ; make clean ; /bin/rm -f *.a)
 	-(cd asir2000 ; make clean)
 	-(cd gnuplot ; make clean)
 	-(cd k097 ; make clean)
@@ -194,8 +197,8 @@ clean:
 
 distclean: clean
 	(cd uuencoded ; make distclean)
-	-(cd ${OpenXM_contrib}/gmp ; make distclean)
-	(cd ${OpenXM_contrib}/gc ; make clean ; /bin/rm -f *.a)
+	-(cd gmp ; make distclean)
+	-(cd gc ; make distclean ; /bin/rm -f *.a)
 	(cd asir2000 ; make distclean)
 	(cd gnuplot ; make distclean)
 	(cd kan96xx ; make distclean)
@@ -209,19 +212,25 @@ distclean: clean
 	-(cd oxc ; make distclean)
 	rm -rf $(BINDIR)/d0 $(BINDIR)/k0 $(BINDIR)/ox $(BINDIR)/ox_sm1 \
 	       $(BINDIR)/oxlog $(BINDIR)/oxweave $(BINDIR)/sm1 \
-	       $(LIBDIR)/k097 $(LIBDIR)/sm1 SSkan bin gc gmp
+	       $(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-pari configure-gmp configure-asir-doc
 
-configure-gmp: 
+configure-util:
+	(cd util; ./make-configure)
+
+configure-gmp: install-util
 	(cd gmp; make configure)
 
 configure-asir: 
 	(cd asir2000 ; make configure) 
 
+configure-asir-doc: 
+	-(cd asir-doc ; ./make-configure) 
+
 configure-gnuplot:
 	-(cd gnuplot ; make configure)
 
@@ -229,7 +238,7 @@ configure-k097:
 	(cd k097 ; ./make-configure)	
 
 configure-kan96xx:
-	(cd kan96xx ; make configure)
+	(cd kan96xx ; ./make-configure)
 
 configure-kxx: 
 	( cd kxx ; ./make-configure) 
@@ -260,6 +269,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: