diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index 5ded071dcb44..14d53e4781e6 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -1,10 +1,5 @@ -# ex:ts=8 -# New ports collection makefile for: ppl -# Date created: Feb 5, 2002 -# Whom: ijliao -# +# Created by: ijliao # $FreeBSD$ -# PORTNAME= ppl PORTVERSION= 0.11.2 @@ -19,6 +14,8 @@ COMMENT= The Parma Polyhedra Library BUILD_DEPENDS= gm4:${PORTSDIR}/devel/m4 LIB_DEPENDS= gmp.10:${PORTSDIR}/math/gmp +BROKEN= fails to build + PWL_DOC_PREFIX= share/doc/pwl USE_GMAKE= yes