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

[Yuri Victorovich]

Author: yuri
Date: Wed Jul 25 19:14:54 2018
New Revision: 475328
URL: https://svnweb.freebsd.org/changeset/ports/475328

Log:
  math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name
  
  Reported by:	arrowd

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

Modified: head/MOVED
==============================================================================
--- head/MOVED	Wed Jul 25 19:09:50 2018	(r475327)
+++ head/MOVED	Wed Jul 25 19:14:54 2018	(r475328)
@@ -10357,3 +10357,4 @@ 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

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Wed Jul 25 19:09:50 2018	(r475327)
+++ head/math/Makefile	Wed Jul 25 19:14:54 2018	(r475328)
@@ -736,7 +736,7 @@
     SUBDIR += py-uncertainties
     SUBDIR += py-viper
     SUBDIR += py-yt
-    SUBDIR += py-z3-solver
+    SUBDIR += py-z3
     SUBDIR += qalculate
     SUBDIR += qd
     SUBDIR += qhull

Modified: head/math/py-z3/Makefile
==============================================================================
--- head/math/py-z3-solver/Makefile	Wed Jul 25 19:09:50 2018	(r475327)
+++ head/math/py-z3/Makefile	Wed Jul 25 19:14:54 2018	(r475328)
@@ -1,7 +1,7 @@
 # $FreeBSD$
 
-PORTNAME=	z3-solver
-DISTVERSIONPREFIX=	z3-
+PORTNAME=	z3
+DISTVERSIONPREFIX=	${PORTNAME}-
 DISTVERSION=	4.7.1
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}