| version 1.3, 2004/02/13 00:47:12 |
version 1.4, 2004/02/22 08:28:20 |
|
|
| # $OpenXM: OpenXM/src/gmp/Makefile,v 1.2 2003/09/14 01:19:57 takayama Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.3 2004/02/13 00:47:12 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 |
| OpenXM_include=${OpenXM_HOME}/include |
OpenXM_include=${OpenXM_HOME}/include |
| GMP=${OpenXM_contrib}/gmp |
GMP=${OpenXM_contrib}/gmp |
| RM=rm |
RM=rm |
| |
all: |
| all: configure |
@if [ ! -f ./.use_ports ]; then \ |
| |
make all-l ; \ |
| |
else \ |
| |
make -f Makefile-ports all ; \ |
| |
fi |
| |
install: |
| |
@if [ ! -f ./.use_ports ]; then \ |
| |
make install-l ; \ |
| |
else \ |
| |
make -f Makefile-ports install ; \ |
| |
fi |
| |
all-l: configure |
| -@if [ ! -f ./.make_done ]; then \ |
-@if [ ! -f ./.make_done ]; then \ |
| (cd ${GMP} ; make) ; \ |
(cd ${GMP} ; make) ; \ |
| touch ./.make_done ; \ |
touch ./.make_done ; \ |
| fi |
fi |
| install: install-exec |
install-l: install-exec-l |
| install-exec: all |
install-exec-l: all-l |
| if [ ! -f ./.install_done ]; then \ |
if [ ! -f ./.install_done ]; then \ |
| (cd ${GMP}; make install-exec) ; \ |
(cd ${GMP}; make install-exec) ; \ |
| cp ${GMP}/gmp.h ${OpenXM_include} ; \ |
cp ${GMP}/gmp.h ${OpenXM_include} ; \ |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to Makefile CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / gmp