version 1.114, 2003/01/13 14:10:59 |
version 1.116, 2003/03/06 10:36:03 |
|
|
## $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_HOME=../../OpenXM |
OPENXM_CONTRIB=../../OpenXM_contrib |
OPENXM_CONTRIB=../../OpenXM_contrib |
Line 93 install: install-asir install-gnuplot install-k097 ins |
|
Line 93 install: install-asir install-gnuplot install-k097 ins |
|
install-gc : all-gc |
install-gc : all-gc |
-@if test ! -f gc/.gc_installed ; \ |
-@if test ! -f gc/.gc_installed ; \ |
then \ |
then \ |
mkdir ../lib ; \ |
if test ! -d ../lib ; then mkdir ../lib ; fi ; \ |
cp gc/gc.a ../lib/libgc.a ; \ |
cp gc/gc.a ../lib/libgc.a ; \ |
fi |
fi |
@touch gc/.gc_installed |
@touch gc/.gc_installed |
Line 247 configure-gmp: configure-links |
|
Line 247 configure-gmp: configure-links |
|
(cd gmp ; ./configure --prefix=`pwd`/../../OpenXM; touch .gmp_configured) ; \ |
(cd gmp ; ./configure --prefix=`pwd`/../../OpenXM; touch .gmp_configured) ; \ |
fi |
fi |
|
|
configure-asir: configure-directory |
configure-asir: configure-directory configure-util |
@if test -d $(OPENXM_CONTRIB2) ; then \ |
@if test -d $(OPENXM_CONTRIB2) ; then \ |
(cd asir2000 ; make configure) ; \ |
(cd asir2000 ; make configure) ; \ |
else \ |
else \ |