diff options
| author | marino <marino@FreeBSD.org> | 2015-06-25 04:17:54 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2015-06-25 04:17:54 +0800 |
| commit | 29874acaa7f389a4a7013a345418c2b8b8e85c12 (patch) | |
| tree | 325848aa94b6f5b9de1abfd53e74ba7c66047566 /lang | |
| parent | 19aec70e6d359eafdac4a879a039ad47aac7f292 (diff) | |
| download | freebsd-ports-gnome-29874acaa7f389a4a7013a345418c2b8b8e85c12.tar.gz freebsd-ports-gnome-29874acaa7f389a4a7013a345418c2b8b8e85c12.tar.zst freebsd-ports-gnome-29874acaa7f389a4a7013a345418c2b8b8e85c12.zip | |
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.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/spark/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/spark/Makefile b/lang/spark/Makefile index 7e76661dc15c..9da292e419bb 100644 --- a/lang/spark/Makefile +++ b/lang/spark/Makefile @@ -15,6 +15,8 @@ COMMENT= Technology for engineering high-reliability s/w applications 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 |