diff options
author | Patrick Li <pat@FreeBSD.org> | 2002-07-06 06:12:00 +0000 |
---|---|---|
committer | Patrick Li <pat@FreeBSD.org> | 2002-07-06 06:12:00 +0000 |
commit | cca6bca2913a5cb16af5b47debf096daea4a027a (patch) | |
tree | d2529469f74659d3e2ac17d9cf6be71f0ffffce7 /devel/ppl | |
parent | 7a20c70a4ea17771554928abaf7c5b38651187e7 (diff) | |
download | ports-cca6bca2913a5cb16af5b47debf096daea4a027a.tar.gz ports-cca6bca2913a5cb16af5b47debf096daea4a027a.zip |
Notes
Diffstat (limited to 'devel/ppl')
-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 |