version 1.1, 2015/08/20 07:45:12 |
version 1.2, 2015/09/28 05:52:13 |
|
|
# $OpenXM$ |
# $OpenXM: OpenXM/src/mpc/Makefile,v 1.1 2015/08/20 07:45:12 noro Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
|
|
fi |
fi |
@touch work/.patch_done |
@touch work/.patch_done |
|
|
configure: patch |
configure : patch |
@if [ ! -f work/.configure_done ]; then \ |
@if [ ! -f work/.configure_done ]; then \ |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
(cd ${WRKSRC} ; CC=${CC} ./configure --prefix="$$prefix" --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" ) ; \ |
if [ "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \ |
|
make configure-cygwin ; \ |
|
elif [ "`uname | sed -e 's/_.*$$//'`" = "MSYS" ]; then \ |
|
make configure-msys ; \ |
|
else \ |
|
make configure-others ; \ |
|
fi ; \ |
fi |
fi |
@touch work/.configure_done |
@touch work/.configure_done |
|
|
|
configure-cygwin: |
|
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
|
(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --enable-static --disable-shared) |
|
configure-msys: |
|
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
|
(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --build=x86_64-w64-mingw32 ) |
|
configure-others: |
|
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
|
(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" ) |
|
|
build : configure |
build : configure |
@if [ ! -f work/.build_done ]; then \ |
@if [ ! -f work/.build_done ]; then \ |