diff options
Diffstat (limited to 'lang/spark/Makefile')
-rw-r--r-- | lang/spark/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/spark/Makefile b/lang/spark/Makefile index 8da388a..fc796b9 100644 --- a/lang/spark/Makefile +++ b/lang/spark/Makefile @@ -19,9 +19,9 @@ BROKEN= brutally fails test suite - with ICE DEPRECATED= Broken for more than 6 months EXPIRATION_DATE= 2016-10-29 -BUILD_DEPENDS= gnatcoll>=2014:${PORTSDIR}/devel/gnatcoll -RUN_DEPENDS= gnatwhy3:${PORTSDIR}/math/why3-spark \ - alt-ergo:${PORTSDIR}/math/alt-ergo +BUILD_DEPENDS= gnatcoll>=2014:devel/gnatcoll +RUN_DEPENDS= gnatwhy3:math/why3-spark \ + alt-ergo:math/alt-ergo USES= ada gmake ALL_TARGET= gnat2why gnatprove |