svn commit: r407035 - branches/2016Q1/math/why3-spark

[Mark Felder]

Author: feld
Date: Sat Jan 23 15:55:32 2016
New Revision: 407035
URL: https://svnweb.freebsd.org/changeset/ports/407035

Log:
  MFH: r406962
  
  math/why3-spark: Mark BROKEN (broken by ocaml changes)
  
  Approved by:	ports-secteam (with hat)

Modified:
  branches/2016Q1/math/why3-spark/Makefile
Directory Properties:
  branches/2016Q1/   (props changed)

Modified: branches/2016Q1/math/why3-spark/Makefile
==============================================================================
--- branches/2016Q1/math/why3-spark/Makefile	Sat Jan 23 15:30:34 2016	(r407034)
+++ branches/2016Q1/math/why3-spark/Makefile	Sat Jan 23 15:55:32 2016	(r407035)
@@ -15,6 +15,8 @@ COMMENT=	Component of SPARK 2015
 LICENSE=	LGPL21 GPLv3
 LICENSE_COMB=	multi
 
+BROKEN=		broken by recent updated to an ocaml dependency
+
 BUILD_DEPENDS=	menhir:${PORTSDIR}/devel/menhir \
 		ocaml-zip>1:${PORTSDIR}/archivers/ocaml-zip \
 		ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \