diff options
Diffstat (limited to 'lang/pike70/scripts/configure.pike')
| -rw-r--r-- | lang/pike70/scripts/configure.pike | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/pike70/scripts/configure.pike b/lang/pike70/scripts/configure.pike index f11a223448b4..f1cf6ffdbbb2 100644 --- a/lang/pike70/scripts/configure.pike +++ b/lang/pike70/scripts/configure.pike @@ -51,7 +51,7 @@ while [ "$1" ]; do ;; \"gmp\") echo '.if ${OSVERSION} >= 500000' >> ${WRKDIRPREFIX}${CURDIR}/Makefile.inc - echo 'LIB_DEPENDS+= gmp.6:${PORTSDIR}/math/libgmp4' >> ${WRKDIRPREFIX}${CURDIR}/Makefile.inc + echo 'LIB_DEPENDS+= gmp.7:${PORTSDIR}/math/libgmp4' >> ${WRKDIRPREFIX}${CURDIR}/Makefile.inc echo '.endif' >> ${WRKDIRPREFIX}${CURDIR}/Makefile.inc echo 'CONFIGURE_ARGS+= --with-gmp' >> ${WRKDIRPREFIX}${CURDIR}/Makefile.inc gmp=1 |