From owner-svn-ports-all@freebsd.org  Wed Jun 24 20:17:55 2015
Return-Path: <owner-svn-ports-all@freebsd.org>
Delivered-To: svn-ports-all@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id 62919915185;
 Wed, 24 Jun 2015 20:17:55 +0000 (UTC)
 (envelope-from marino@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id 543D62B6F;
 Wed, 24 Jun 2015 20:17:55 +0000 (UTC)
 (envelope-from marino@FreeBSD.org)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id t5OKHtn0056796;
 Wed, 24 Jun 2015 20:17:55 GMT (envelope-from marino@FreeBSD.org)
Received: (from marino@localhost)
 by svn.freebsd.org (8.14.9/8.14.9/Submit) id t5OKHtht056795;
 Wed, 24 Jun 2015 20:17:55 GMT (envelope-from marino@FreeBSD.org)
Message-Id: <201506242017.t5OKHtht056795@svn.freebsd.org>
X-Authentication-Warning: svn.freebsd.org: marino set sender to
 marino@FreeBSD.org using -f
From: John Marino <marino@FreeBSD.org>
Date: Wed, 24 Jun 2015 20:17:55 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r390517 - head/lang/spark
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-all@freebsd.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: SVN commit messages for the ports tree <svn-ports-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-all/>
List-Post: <mailto:svn-ports-all@freebsd.org>
List-Help: <mailto:svn-ports-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 24 Jun 2015 20:17:55 -0000

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