version 1.2, 2003/09/14 01:19:57 |
version 1.3, 2004/02/13 00:47:12 |
|
|
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.1 2003/09/02 14:24:43 takayama Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.2 2003/09/14 01:19:57 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 |
|
|
touch ./.configure_done ; \ |
touch ./.configure_done ; \ |
fi |
fi |
clean: |
clean: |
${RM} -f ./.*done |
|
@if [ -f ./.make_done ]; then \ |
@if [ -f ./.make_done ]; then \ |
(cd ${GMP} ; make clean) \ |
(cd ${GMP} ; make clean) \ |
fi |
fi |
distclean: |
|
${RM} -f ./.*done |
${RM} -f ./.*done |
|
distclean: |
-@if [ -f ./.make_done ]; then \ |
-@if [ -f ./.make_done ]; then \ |
(cd ${GMP} ; make distclean) \ |
(cd ${GMP} ; make distclean) \ |
fi |
fi |
|
${RM} -f ./.*done |