Date: Sat, 23 Jan 2016 15:55:32 +0000 (UTC) From: Mark Felder <feld@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-branches@freebsd.org Subject: svn commit: r407035 - branches/2016Q1/math/why3-spark Message-ID: <201601231555.u0NFtWmH065004@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 \
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201601231555.u0NFtWmH065004>