svn commit: r390517 - head/lang/spark

[John Marino]

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