From owner-svn-ports-all@freebsd.org Thu Dec 10 20:20:24 2015 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 4E1BF9D778F; Thu, 10 Dec 2015 20:20:24 +0000 (UTC) (envelope-from marino@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 01E7A1B37; Thu, 10 Dec 2015 20:20:23 +0000 (UTC) (envelope-from marino@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id tBAKKNoC035953; Thu, 10 Dec 2015 20:20:23 GMT (envelope-from marino@FreeBSD.org) Received: (from marino@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id tBAKKMZx035949; Thu, 10 Dec 2015 20:20:22 GMT (envelope-from marino@FreeBSD.org) Message-Id: <201512102020.tBAKKMZx035949@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: marino set sender to marino@FreeBSD.org using -f From: John Marino Date: Thu, 10 Dec 2015 20:20:22 +0000 (UTC) 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 X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 10 Dec 2015 20:20:24 -0000 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