Date: Wed, 24 Jun 2015 20:17:55 +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: r390517 - head/lang/spark Message-ID: <201506242017.t5OKHtht056795@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: marino Date: Wed Jun 24 20:17:54 2015 New Revision: 390517 URL: https://svnweb.freebsd.org/changeset/ports/390517 Log: lang/spark: Mark BROKEN until further notice While spark builds, gnatprove is getting murdered on the testsuite, including emitting Internal Compiler Errors quite often. It's not usable as is and needs more work. Modified: head/lang/spark/Makefile Modified: head/lang/spark/Makefile ============================================================================== --- head/lang/spark/Makefile Wed Jun 24 20:17:20 2015 (r390516) +++ head/lang/spark/Makefile Wed Jun 24 20:17:54 2015 (r390517) @@ -15,6 +15,8 @@ COMMENT= Technology for engineering high LICENSE= GPLv3 +BROKEN= brutally fails test suite - with ICE + BUILD_DEPENDS= gnatcoll>=2014:${PORTSDIR}/devel/gnatcoll RUN_DEPENDS= gnatwhy3:${PORTSDIR}/math/why3-gpl \ alt-ergo:${PORTSDIR}/math/alt-ergo
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201506242017.t5OKHtht056795>