=================================================================== RCS file: /home/cvs/OpenXM/src/Makefile,v retrieving revision 1.119 retrieving revision 1.123 diff -u -p -r1.119 -r1.123 --- OpenXM/src/Makefile 2003/06/26 08:59:12 1.119 +++ OpenXM/src/Makefile 2003/09/02 03:35:56 1.123 @@ -1,4 +1,4 @@ -## $OpenXM: OpenXM/src/Makefile,v 1.118 2003/06/02 20:26:58 ohara 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,10 @@ all-gc: @touch gc/.gc_make_done all-gmp: configure-gmp - (if test ! -f .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ; + -@if test ! -f gmp/.gmp_make_done ; then \ + (cd gmp ; make) ; \ + fi + @touch gmp/.gmp_make_done all-oxtoolkit: configure-oxtoolkit install-gmp install-gc configure-util (cd ox_toolkit; make) @@ -113,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 @@ -274,9 +278,10 @@ configure-bin: configure-gnuplot: -(cd gnuplot ; make configure) -configure-k097: configure-links +configure-k097: configure-links configure-util + (cd k097 ; ./configure) -configure-kan96xx: configure-links +configure-kan96xx: configure-links configure-util (cd kan96xx ; make configure) configure-kxx: configure-util