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

[Mark Felder]

Author: feld
Date: Mon Jan 25 16:47:10 2016
New Revision: 407230
URL: https://svnweb.freebsd.org/changeset/ports/407230

Log:
  Revert MFH
  
  The ocaml change that broke the build did not make it to 2016Q1 branch
  
  Submitted by:	antoine
  Approved by:	ports-secteam (with hat)

Modified:
  branches/2016Q1/math/why3-spark/Makefile

Modified: branches/2016Q1/math/why3-spark/Makefile
==============================================================================
--- branches/2016Q1/math/why3-spark/Makefile	Mon Jan 25 16:45:23 2016	(r407229)
+++ branches/2016Q1/math/why3-spark/Makefile	Mon Jan 25 16:47:10 2016	(r407230)
@@ -15,8 +15,6 @@ 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 \