Index: head/math/barvinok/Makefile
===================================================================
--- head/math/barvinok/Makefile	(revision 523500)
+++ head/math/barvinok/Makefile	(revision 523501)
@@ -1,25 +1,27 @@
 # $FreeBSD$
 
 PORTNAME=	barvinok
 DISTVERSION=	0.41.3
 CATEGORIES=	math
 MASTER_SITES=	http://barvinok.gforge.inria.fr/
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Library for counting the number of integer points in polytopes
 
 LICENSE=	GPLv2
 
+BROKEN=		fails to build
+
 LIB_DEPENDS=	libglpk.so:math/glpk \
 		libgmp.so:math/gmp \
 		libisl.so:devel/isl \
 		libntl.so:math/ntl \
 		libpolylibgmp.so:math/polylib
 
 USES=		compiler:c11 gmake libtool localbase:ldflags pkgconfig
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--disable-static --enable-shared --enable-shared-barvinok \
 		--with-gmp=system --with-polylib=system --with-isl=system
 USE_LDCONFIG=	yes
 
 .include <bsd.port.mk>