version 1.22, 2017/03/30 13:17:15 |
version 1.23, 2017/03/31 01:20:06 |
|
|
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.21 2015/09/28 05:52:13 takayama Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.22 2017/03/30 13:17:15 takayama Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
|
|
-mkdir ${PREFIX}/bin ${PREFIX}/lib |
-mkdir ${PREFIX}/bin ${PREFIX}/lib |
@if [ ! -f work/.install_done ]; then \ |
@if [ ! -f work/.install_done ]; then \ |
(cd ${WRKSRC} ; ${MAKE} install) ; \ |
(cd ${WRKSRC} ; ${MAKE} install) ; \ |
for i in config.h gmp-impl.h gmp-mparam.h fib_table.h mp_bases.h; do \ |
for i in config.h gmp-impl.h gmp-mparam.h fib_table.h mp_bases.h fac_table.h ; do \ |
cp ${WRKSRC}/$$i ${OpenXM_HOME}/include ; \ |
cp ${WRKSRC}/$$i ${OpenXM_HOME}/include ; \ |
done ; \ |
done ; \ |
fi |
fi |