version 1.1, 2019/11/12 10:59:17 |
version 1.3, 2021/10/03 00:03:01 |
|
|
# |
# $OpenXM$ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
RM = /bin/rm |
RM = /bin/rm |
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
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/38111/ |
MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/37331/ |
#MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/37331/ |
DISTNAME=mpfi-1.5.3 |
DISTNAME=mpfi-1.5.3 |
DISTFILES=${DISTNAME}.tgz |
DISTFILES=${DISTNAME}.tgz |
DISTFILES=${DISTNAME}.tar.bz2 |
DISTFILES=${DISTNAME}.tar.bz2 |
|
|
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` ; \ |
if [ "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \ |
if [ -z $TARGET_TYPE ]; then \ |
make configure-cygwin ; \ |
if [ "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \ |
elif [ "`uname | sed -e 's/_.*$$//'`" = "MSYS" ]; then \ |
make configure-cygwin ; \ |
make configure-msys ; \ |
elif [ "`uname | sed -e 's/_.*$$//'`" = "MSYS" ]; then \ |
|
make configure-msys ; \ |
|
else \ |
|
make configure-others ; \ |
|
fi ; \ |
else \ |
else \ |
make configure-others ; \ |
make configure-cross ; \ |
fi ; \ |
fi ; \ |
fi |
fi |
@touch work/.configure_done |
@touch work/.configure_done |
|
|
configure-others: |
configure-others: |
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" --disable-thread-safe) |
(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 |
build : configure |
@if [ ! -f work/.build_done ]; then \ |
@if [ ! -f work/.build_done ]; then \ |