svn commit: r363673 - head/math/isabelle

[Antoine Brodin]

Author: antoine
Date: Thu Jul 31 19:35:56 2014
New Revision: 363673
URL: http://svnweb.freebsd.org/changeset/ports/363673
QAT: https://qat.redports.org/buildarchive/r363673/

Log:
  Mark BROKEN: Build seems to hang on the package builders
  
  With hat:	portmgr

Modified:
  head/math/isabelle/Makefile

Modified: head/math/isabelle/Makefile
==============================================================================
--- head/math/isabelle/Makefile	Thu Jul 31 19:27:25 2014	(r363672)
+++ head/math/isabelle/Makefile	Thu Jul 31 19:35:56 2014	(r363673)
@@ -15,6 +15,8 @@ COMMENT=	Generic proof assistant
 LICENSE=	BSD
 LICENSE_FILE=	${WRKSRC}/COPYRIGHT
 
+BROKEN=		Build seems to hang on the package builders
+
 OPTIONS_DEFINE=	POLYML RLWRAP LEDIT HOL_ALGEBRA HOL_NOMINAL HOL_NSA HOL_WORD \
 		HOL_TLA HOL_HOL4 EMACS_PKG
 OPTIONS_DEFAULT=	RLWRAP