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} > _______________________________________________ freebsd-python@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-python To unsubscribe, send any mail to "freebsd-python-unsubscr...@freebsd.org"
