diff options
Diffstat (limited to 'devel/ppl/Makefile')
| -rw-r--r-- | devel/ppl/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index a94ae08e0627..7d8aa307d737 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -14,6 +14,8 @@ MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/${PORTVERSION}/ \ MAINTAINER= ports@FreeBSD.org +PORTCOMMENT= The Parma Polyhedra Library + LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4 USE_LIBTOOL= yes |