svn commit: r475913 - in head: . math math/py-z3 math/py-z3-solver

[Yuri Victorovich]

Author: yuri
Date: Mon Jul 30 20:17:04 2018
New Revision: 475913
URL: https://svnweb.freebsd.org/changeset/ports/475913

Log:
  math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website
  
  z3 is a different project on PyPI.
  
  Reported by:	koobs

Added:
  head/math/py-z3-solver/
     - copied from r475912, head/math/py-z3/
Deleted:
  head/math/py-z3/
Modified:
  head/MOVED
  head/math/Makefile
  head/math/py-z3-solver/Makefile

Modified: head/MOVED
==============================================================================
--- head/MOVED	Mon Jul 30 20:09:13 2018	(r475912)
+++ head/MOVED	Mon Jul 30 20:17:04 2018	(r475913)
@@ -10357,7 +10357,6 @@ lang/spec.alpha||2018-07-21|Unused in the ports tree
 sysutils/xen-tools|sysutils/xen-tools47|2018-07-23|Renamed to support multiple versions
 emulators/xen-kernel|emulators/xen-kernel47|2018-07-23|Renamed to support multiple versions
 emulators/xen||2018-07-23|Removed to support multiple versions
-math/py-z3-solver|math/py-z3|2018-07-25|Rename to have a more intuitive name
 devel/py-levenshtein|devel/py-python-Levenshtein|2018-07-28|Remove the duplicate
 comms/xwota||2018-07-28|Has expired: No server message and no upstream releases
 audio/glame||2018-07-28|Has expired: Does not build

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Mon Jul 30 20:09:13 2018	(r475912)
+++ head/math/Makefile	Mon Jul 30 20:17:04 2018	(r475913)
@@ -737,7 +737,7 @@
     SUBDIR += py-uncertainties
     SUBDIR += py-viper
     SUBDIR += py-yt
-    SUBDIR += py-z3
+    SUBDIR += py-z3-solver
     SUBDIR += qalculate
     SUBDIR += qd
     SUBDIR += qhull

Modified: head/math/py-z3-solver/Makefile
==============================================================================
--- head/math/py-z3/Makefile	Mon Jul 30 20:09:13 2018	(r475912)
+++ head/math/py-z3-solver/Makefile	Mon Jul 30 20:17:04 2018	(r475913)
@@ -1,7 +1,7 @@
 # $FreeBSD$
 
-PORTNAME=	z3
-DISTVERSIONPREFIX=	${PORTNAME}-
+PORTNAME=	z3-solver
+DISTVERSIONPREFIX=	z3-
 DISTVERSION=	4.7.1
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}