diff options
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 |