OpenXM/src/gmp/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src / gmp

version 1.20, 2015/02/21 06:20:36

version 1.21, 2015/09/28 05:52:13

Line 1

# $OpenXM: OpenXM/src/gmp/Makefile,v 1.19 2012/02/18 05:11:51 takayama Exp $

# $OpenXM: OpenXM/src/gmp/Makefile,v 1.20 2015/02/21 06:20:36 ohara Exp $

OpenXM_HOME=../..

PREFIX=${OpenXM_HOME}

DISTDIR=${OpenXM_HOME}/../OpenXM_dist

Line 35 patch: extract

@touch work/.patch_done

configure: patch

configure : patch

@if [ ! -f work/.configure_done ]; then \

prefix=`cd ${OpenXM_HOME}; pwd` ; \

(cd ${WRKSRC} ; CC=${CC} ./configure --prefix="$$prefix" --enable-cxx) ; \

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 ; \

@touch work/.configure_done

configure-cygwin:

prefix=`cd ${OpenXM_HOME}; pwd` ; \

(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --enable-cxx --enable-static --disable-shared)

configure-msys:

prefix=`cd ${OpenXM_HOME}; pwd` ; \

(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --enable-cxx --build=x86_64-w64-mingw32 )

configure-others:

prefix=`cd ${OpenXM_HOME}; pwd` ; \

(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --enable-cxx)

build : configure

@if [ ! -f work/.build_done ]; then \