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

[Kubilay Kocak]

On 26/07/2018 5:14 am, Yuri Victorovich wrote:
> 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

https://pypi.org/project/z3-solver/ - an efficient SMT solver library
https://pypi.org/project/z3/ - Backup ZFS snapshots to S3

Please use the pypi name (z3-solver), when its registered there, as it
is here. For cases where it's not, ask upstream to register a name to
use canonically.

Users use these names to search for and install the software, reference
it in dependencies, and they'll look for it under the same name in ports
/ packages

It also prevents conflicts and the added annoyance of having to
rename/move ports down the track.

>   
>   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}
>