version 1.5, 2004/02/23 05:56:32 |
version 1.6, 2004/02/24 00:02:10 |
|
|
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.4 2004/02/22 08:28:20 takayama Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.5 2004/02/23 05:56:32 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 |
Line 26 install-l: install-exec-l |
|
Line 26 install-l: install-exec-l |
|
install-exec-l: all-l |
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) ; \ |
|
rm -f ${OpenXM_include}/config.h ${OpenXM_include}/gmp-impl.h ${OpenXM_include}/gmp-mparam.h ; \ |
cp ${GMP}/gmp.h ${OpenXM_include} ; \ |
cp ${GMP}/gmp.h ${OpenXM_include} ; \ |
touch ./.install_done ; \ |
touch ./.install_done ; \ |
fi |
fi |