svn commit: r406962 - head/math/why3-spark

[John Marino]

Author: marino
Date: Sat Jan 23 08:18:24 2016
New Revision: 406962
URL: https://svnweb.freebsd.org/changeset/ports/406962

Log:
  math/why3-spark: Mark BROKEN (broken by ocaml changes)

Modified:
  head/math/why3-spark/Makefile

Modified: head/math/why3-spark/Makefile
==============================================================================
--- head/math/why3-spark/Makefile	Sat Jan 23 07:51:21 2016	(r406961)
+++ head/math/why3-spark/Makefile	Sat Jan 23 08:18:24 2016	(r406962)
@@ -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 \