From b67329949f6b87129a486ccf5b4f37d08c83fc6e Mon Sep 17 00:00:00 2001
From: Pav Lucistnik <pav@FreeBSD.org>
Date: Wed, 14 Mar 2012 20:11:56 +0000
Subject: - Mark BROKEN: does not compile   OCAMLC   
 pretyping/pretype_errors.mli   OCAMLOPT  pretyping/pretype_errors.ml   File
 "pretyping/pretype_errors.ml", line 48, characters 4-109:   Error: Unbound
 constructor Stdpp.Exc_located   gmake[1]: *** [pretyping/pretype_errors.cmx]
 Error 2

Reported by:	pointyhat
Feature safe:	yes
---
 math/coq/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/math/coq/Makefile b/math/coq/Makefile
index 85aae46c97ca..09ce880c5d97 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -19,6 +19,8 @@ COMMENT=	Theorem prover based on lambda-C
 
 BUILD_DEPENDS=	camlp5:${PORTSDIR}/devel/ocaml-camlp5
 
+BROKEN=		does not build
+
 COQVERSION=	${PORTVERSION:R}pl${PORTVERSION:E}
 USE_OCAML=	yes
 USE_GMAKE=	yes
-- 
cgit