svn commit: r403466 - in head: . lang/spark math math/why3-gpl math/why3-spark
John Marino
marino at FreeBSD.org
Thu Dec 10 20:20:24 UTC 2015
Author: marino
Date: Thu Dec 10 20:20:22 2015
New Revision: 403466
URL: https://svnweb.freebsd.org/changeset/ports/403466
Log:
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.
Added:
head/math/why3-spark/
- copied from r403465, head/math/why3-gpl/
Deleted:
head/math/why3-gpl/
Modified:
head/MOVED
head/lang/spark/Makefile
head/math/Makefile
head/math/why3-spark/Makefile
Modified: head/MOVED
==============================================================================
--- head/MOVED Thu Dec 10 19:37:07 2015 (r403465)
+++ head/MOVED Thu Dec 10 20:20:22 2015 (r403466)
@@ -8044,3 +8044,4 @@ multimedia/fpc-matroska||2015-12-05|Elim
security/fpc-hash||2015-12-05|Eliminated during FPC upgrade to 3.0.0
www/jetty|www/jetty8|2015-12-06|Rename to prepare for jetty9
devel/pyinstaller|devel/py-pyinstaller|2015-12-09|Add py- prefix to directory name
+math/why3-gpl|math/why3-spark|2015-12-10|Change why3 suffix (upstream request and for consistency)
Modified: head/lang/spark/Makefile
==============================================================================
--- head/lang/spark/Makefile Thu Dec 10 19:37:07 2015 (r403465)
+++ head/lang/spark/Makefile Thu Dec 10 20:20:22 2015 (r403466)
@@ -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
Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile Thu Dec 10 19:37:07 2015 (r403465)
+++ head/math/Makefile Thu Dec 10 20:20:22 2015 (r403466)
@@ -688,7 +688,7 @@
SUBDIR += wcalc
SUBDIR += wfmath
SUBDIR += why3
- SUBDIR += why3-gpl
+ SUBDIR += why3-spark
SUBDIR += wingz3
SUBDIR += wxMaxima
SUBDIR += x12arima
Modified: head/math/why3-spark/Makefile
==============================================================================
--- head/math/why3-gpl/Makefile Thu Dec 10 19:37:07 2015 (r403465)
+++ head/math/why3-spark/Makefile Thu Dec 10 20:20:22 2015 (r403466)
@@ -6,7 +6,7 @@ PORTVERSION= 2015
CATEGORIES= math
MASTER_SITES= http://downloads.dragonlace.net/src/ \
LOCAL/marino
-PKGNAMESUFFIX= -gpl
+PKGNAMESUFFIX= -spark
DISTNAME= why3-for-spark-gpl-${PORTVERSION}-src
MAINTAINER= marino at FreeBSD.org
More information about the svn-ports-all
mailing list