===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.121
retrieving revision 1.123
diff -u -p -r1.121 -r1.123
--- OpenXM/src/Makefile	2003/08/25 14:24:45	1.121
+++ OpenXM/src/Makefile	2003/09/02 03:35:56	1.123
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.120 2003/07/21 11:36:09 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.122 2003/08/26 05:04:40 takayama Exp $
 
 OpenXM_HOME=../../OpenXM
 OPENXM_CONTRIB=../../OpenXM_contrib
@@ -19,7 +19,7 @@ all-gc: 
 	@touch gc/.gc_make_done
 
 all-gmp: configure-gmp
-	@if test ! -f gmp/.gmp_make_done ; then \
+	-@if test ! -f gmp/.gmp_make_done ; then \
 		(cd gmp ; make) ; \
 	fi
 	@touch gmp/.gmp_make_done 
@@ -116,9 +116,10 @@ install-asir-gc : configure-asir
 
 
 install-gmp : all-gmp
-	-@if test ! -f gmp/.gmp_installed ; \
+	@if test ! -f gmp/.gmp_installed ; \
 	then \
-		(cd gmp; make install) ; \
+		(cd gmp; make install-exec) ; \
+		(cd gmp; cp gmp.h ../../OpenXM/include) ; \
 	fi 
 	@touch gmp/.gmp_installed
 
@@ -278,6 +279,7 @@ configure-gnuplot:
 	-(cd gnuplot ; make configure)
 
 configure-k097: configure-links configure-util
+	(cd k097 ; ./configure)	
 
 configure-kan96xx: configure-links configure-util
 	(cd kan96xx ; make configure)