Date: Sat, 23 Jan 2016 08:18:24 +0000 (UTC) From: John Marino <marino@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r406962 - head/math/why3-spark Message-ID: <201601230818.u0N8IObp023898@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 \
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201601230818.u0N8IObp023898>