Skip site navigation (1)Skip section navigation (2)
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>