diff options
| author | marino <marino@FreeBSD.org> | 2015-12-11 04:20:22 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2015-12-11 04:20:22 +0800 |
| commit | e23960f1dd131160d614d29d577a0947a3a613b6 (patch) | |
| tree | a95b83fd329c9d43c7fa8c6ee216b53e12d5c00d /lang | |
| parent | 53ce3cb3a8ee4af0e4a0a99b84d83fe88410b32a (diff) | |
| download | freebsd-ports-gnome-e23960f1dd131160d614d29d577a0947a3a613b6.tar.gz freebsd-ports-gnome-e23960f1dd131160d614d29d577a0947a3a613b6.tar.zst freebsd-ports-gnome-e23960f1dd131160d614d29d577a0947a3a613b6.zip | |
Move math/why3-gpl => math/why3-spark
There are two reasons to rename this port.
1) Upstream never liked it and requested -spark be the suffix instead
2) An ongoing attempt to fix lang/spark may result in a number of slave
ports with a -spark suffix, so this keeps up consistency as all of
these ports only exist to support that port.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/spark/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/spark/Makefile b/lang/spark/Makefile index 9da292e419bb..7820241a7ab7 100644 --- a/lang/spark/Makefile +++ b/lang/spark/Makefile @@ -18,7 +18,7 @@ LICENSE= GPLv3 BROKEN= brutally fails test suite - with ICE BUILD_DEPENDS= gnatcoll>=2014:${PORTSDIR}/devel/gnatcoll -RUN_DEPENDS= gnatwhy3:${PORTSDIR}/math/why3-gpl \ +RUN_DEPENDS= gnatwhy3:${PORTSDIR}/math/why3-spark \ alt-ergo:${PORTSDIR}/math/alt-ergo USES= ada gmake |