| version 1.10, 2004/03/26 08:54:07 |
version 1.11, 2004/03/31 01:06:10 |
|
|
| # $OpenXM: OpenXM/src/gmp/Makefile,v 1.9 2004/03/25 04:54:36 takayama Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.10 2004/03/26 08:54:07 ohara Exp $ |
| OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
| PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
| DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
|
|
| |
|
| configure: patch |
configure: patch |
| @if [ ! -f work/.configure_done ]; then \ |
@if [ ! -f work/.configure_done ]; then \ |
| (cd work/${GMP} ; ./configure --prefix `cd ../..; cd ${OpenXM_HOME}; pwd`) ; \ |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
| |
(cd work/${GMP} ; ./configure --prefix="$$prefix" ) ; \ |
| fi |
fi |
| @touch work/.configure_done |
@touch work/.configure_done |
| |
|
![[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