Date: Thu, 10 Dec 2015 20:20:22 +0000 (UTC) From: John Marino <marino@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r403466 - in head: . lang/spark math math/why3-gpl math/why3-spark Message-ID: <201512102020.tBAKKMZx035949@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@FreeBSD.org
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201512102020.tBAKKMZx035949>