Date: Mon, 25 Jan 2016 16:47:10 +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: r407230 - branches/2016Q1/math/why3-spark Message-ID: <201601251647.u0PGlAOo061880@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 \
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201601251647.u0PGlAOo061880>