=================================================================== RCS file: /home/cvs/OpenXM/src/Makefile,v retrieving revision 1.136 retrieving revision 1.137 diff -u -p -r1.136 -r1.137 --- OpenXM/src/Makefile 2004/02/26 23:29:46 1.136 +++ OpenXM/src/Makefile 2004/03/25 01:52:18 1.137 @@ -1,4 +1,4 @@ -## $OpenXM: OpenXM/src/Makefile,v 1.135 2004/02/23 11:38:36 takayama Exp $ +## $OpenXM: OpenXM/src/Makefile,v 1.136 2004/02/26 23:29:46 takayama Exp $ OpenXM_HOME=.. OpenXM_contrib=../../OpenXM_contrib @@ -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: