diff options
Diffstat (limited to 'devel/ppl')
-rw-r--r-- | devel/ppl/Makefile | 1 | ||||
-rw-r--r-- | devel/ppl/pkg-comment | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index 8d75f6cd2e33..9d243603df9b 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -15,6 +15,7 @@ MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/%SUBDIR%/ \ MASTER_SITE_SUBDIR= ${PORTVERSION} MAINTAINER= ports@FreeBSD.org +COMMENT= The Parma Polyhedra Library LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4 diff --git a/devel/ppl/pkg-comment b/devel/ppl/pkg-comment deleted file mode 100644 index 10b81c6ec0c7..000000000000 --- a/devel/ppl/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -The Parma Polyhedra Library |