version 1.4, 2004/02/22 08:28:20 |
version 1.5, 2004/02/23 05:56:32 |
|
|
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.3 2004/02/13 00:47:12 takayama Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.4 2004/02/22 08:28:20 takayama Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
OpenXM_contrib=${OpenXM_HOME}/../OpenXM_contrib |
OpenXM_contrib=${OpenXM_HOME}/../OpenXM_contrib |
OpenXM_lib=${OpenXM_HOME}/lib |
OpenXM_lib=${OpenXM_HOME}/lib |
|
|
else \ |
else \ |
make -f Makefile-ports install ; \ |
make -f Makefile-ports install ; \ |
fi |
fi |
all-l: configure |
all-l: configure-l |
-@if [ ! -f ./.make_done ]; then \ |
-@if [ ! -f ./.make_done ]; then \ |
(cd ${GMP} ; make) ; \ |
(cd ${GMP} ; make) ; \ |
touch ./.make_done ; \ |
touch ./.make_done ; \ |
Line 30 install-exec-l: all-l |
|
Line 30 install-exec-l: all-l |
|
touch ./.install_done ; \ |
touch ./.install_done ; \ |
fi |
fi |
configure: |
configure: |
|
@if [ ! -f ./.use_ports ]; then \ |
|
make configure-l ; \ |
|
fi |
|
configure-l: |
if [ ! -f ./.configure_done ]; then \ |
if [ ! -f ./.configure_done ]; then \ |
(cd ${GMP} ; ./configure --prefix=`pwd`/../../OpenXM ) ; \ |
(cd ${GMP} ; ./configure --prefix=`pwd`/../../OpenXM ) ; \ |
touch ./.configure_done ; \ |
touch ./.configure_done ; \ |