=================================================================== RCS file: /home/cvs/OpenXM/src/mpfi/Makefile,v retrieving revision 1.1 retrieving revision 1.3 diff -u -p -r1.1 -r1.3 --- OpenXM/src/mpfi/Makefile 2019/11/12 10:59:17 1.1 +++ OpenXM/src/mpfi/Makefile 2021/10/03 00:03:01 1.3 @@ -1,11 +1,11 @@ -# +# $OpenXM$ OpenXM_HOME=../.. PREFIX=${OpenXM_HOME} DISTDIR=${OpenXM_HOME}/../OpenXM_dist RM = /bin/rm MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ -MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/38111/ -MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/37331/ +#MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/38111/ +#MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/37331/ DISTNAME=mpfi-1.5.3 DISTFILES=${DISTNAME}.tgz DISTFILES=${DISTNAME}.tar.bz2 @@ -39,12 +39,16 @@ patch: extract configure : patch @if [ ! -f work/.configure_done ]; then \ prefix=`cd ${OpenXM_HOME}; pwd` ; \ - if [ "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \ - make configure-cygwin ; \ - elif [ "`uname | sed -e 's/_.*$$//'`" = "MSYS" ]; then \ - make configure-msys ; \ + if [ -z $TARGET_TYPE ]; then \ + 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 ; \ else \ - make configure-others ; \ + make configure-cross ; \ fi ; \ fi @touch work/.configure_done @@ -58,6 +62,9 @@ configure-msys: configure-others: prefix=`cd ${OpenXM_HOME}; pwd` ; \ (cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe) +configure-cross: + prefix=`cd ${OpenXM_HOME}; pwd` ; \ + (cd ${WRKSRC}; CC=${CC} ./configure --host=${TARGET_TYPE} --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe) build : configure @if [ ! -f work/.build_done ]; then \