Date: Mon, 30 Jul 2018 21:24:37 +1000 From: Kubilay Kocak <koobs@FreeBSD.org> To: Yuri Victorovich <yuri@FreeBSD.org>, ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org, python <python@FreeBSD.org> Subject: Re: svn commit: r475328 - in head: . math math/py-z3 math/py-z3-solver Message-ID: <fa77d9aa-8576-e3ff-21e7-c0dce8739d16@FreeBSD.org> In-Reply-To: <201807251914.w6PJEsj6061400@repo.freebsd.org> References: <201807251914.w6PJEsj6061400@repo.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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} >
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?fa77d9aa-8576-e3ff-21e7-c0dce8739d16>