=================================================================== RCS file: /home/cvs/OpenXM/src/Makefile,v retrieving revision 1.114 retrieving revision 1.116 diff -u -p -r1.114 -r1.116 --- OpenXM/src/Makefile 2003/01/13 14:10:59 1.114 +++ OpenXM/src/Makefile 2003/03/06 10:36:03 1.116 @@ -1,4 +1,4 @@ -## $OpenXM: OpenXM/src/Makefile,v 1.113 2002/09/03 01:05:28 takayama Exp $ +## $OpenXM: OpenXM/src/Makefile,v 1.115 2003/02/02 01:36:31 takayama Exp $ OpenXM_HOME=../../OpenXM OPENXM_CONTRIB=../../OpenXM_contrib @@ -93,7 +93,7 @@ install: install-asir install-gnuplot install-k097 ins install-gc : all-gc -@if test ! -f gc/.gc_installed ; \ then \ - mkdir ../lib ; \ + if test ! -d ../lib ; then mkdir ../lib ; fi ; \ cp gc/gc.a ../lib/libgc.a ; \ fi @touch gc/.gc_installed @@ -247,7 +247,7 @@ configure-gmp: configure-links (cd gmp ; ./configure --prefix=`pwd`/../../OpenXM; touch .gmp_configured) ; \ fi -configure-asir: configure-directory +configure-asir: configure-directory configure-util @if test -d $(OPENXM_CONTRIB2) ; then \ (cd asir2000 ; make configure) ; \ else \