diff options
Diffstat (limited to 'devel/ppl/Makefile')
| -rw-r--r-- | devel/ppl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index 84200852a57b..18f4b2c6f29f 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -14,7 +14,7 @@ MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/${PORTVERSION}/ \ MAINTAINER= ports@FreeBSD.org -LIB_DEPENDS= gmp.5:${PORTSDIR}/math/libgmp4 +LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4 USE_LIBTOOL= yes GNU_CONFIGURE= yes |