Date: Sun, 8 Mar 2020 16:18:05 +0000 (UTC) From: Mateusz Piotrowski <0mp@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r528050 - in head: . math math/py-PySMT math/py-claripy math/py-pysmt Message-ID: <202003081618.028GI5oc028858@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: 0mp Date: Sun Mar 8 16:18:05 2020 New Revision: 528050 URL: https://svnweb.freebsd.org/changeset/ports/528050 Log: Rename math/py-PySMT to math/py-pysmt This is done in order to follow the policy set out by the Python team: https://wiki.freebsd.org/Python/PortsPolicy#PORTNAME Reported by: koobs Added: head/math/py-pysmt/ - copied from r528049, head/math/py-PySMT/ Deleted: head/math/py-PySMT/ Modified: head/MOVED head/math/Makefile head/math/py-claripy/Makefile head/math/py-pysmt/Makefile Modified: head/MOVED ============================================================================== --- head/MOVED Sun Mar 8 16:15:10 2020 (r528049) +++ head/MOVED Sun Mar 8 16:18:05 2020 (r528050) @@ -14471,3 +14471,4 @@ x11-fonts/font-manager||2020-03-07|Has expired: Old, u x11-toolkits/py-gtksourceview||2020-03-07|Has expired: Old, uses EOLed python27 devel/py-hgsubversion||2020-03-08|Has expired: Unmaintained, uses EOLed python27 devel/py-gamin||2020-03-08|Has expired: Old, uses EOLed python27 +math/py-PySMT|math/py-pysmt|2020-03-08|Rename as recommended by the Python team Modified: head/math/Makefile ============================================================================== --- head/math/Makefile Sun Mar 8 16:15:10 2020 (r528049) +++ head/math/Makefile Sun Mar 8 16:18:05 2020 (r528050) @@ -685,7 +685,6 @@ SUBDIR += py-PuLP SUBDIR += py-PyMetis SUBDIR += py-PySCIPOpt - SUBDIR += py-PySMT SUBDIR += py-PyWavelets SUBDIR += py-Pyomo SUBDIR += py-algopy @@ -770,6 +769,7 @@ SUBDIR += py-pynndescent SUBDIR += py-pyodeint SUBDIR += py-pyodesys + SUBDIR += py-pysmt SUBDIR += py-pysparse SUBDIR += py-pystan SUBDIR += py-pysym Modified: head/math/py-claripy/Makefile ============================================================================== --- head/math/py-claripy/Makefile Sun Mar 8 16:15:10 2020 (r528049) +++ head/math/py-claripy/Makefile Sun Mar 8 16:18:05 2020 (r528050) @@ -2,6 +2,7 @@ PORTNAME= claripy DISTVERSION= 8.20.1.7 +PORTREVISION= 1 CATEGORIES= math devel python MASTER_SITES= CHEESESHOP PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -16,7 +17,7 @@ LICENSE_FILE= ${WRKSRC}/LICENSE RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}cachetools>0:devel/py-cachetools@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}decorator>0:devel/py-decorator@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}future>0:devel/py-future@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}PySMT>0:math/py-PySMT@${PY_FLAVOR} \ + ${PYTHON_PKGNAMEPREFIX}pysmt>0:math/py-pysmt@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}z3-solver>4.8.5.0:math/py-z3-solver@${PY_FLAVOR} TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR} \ z3>4.8.5.0:math/z3 Modified: head/math/py-pysmt/Makefile ============================================================================== --- head/math/py-PySMT/Makefile Sun Mar 8 16:15:10 2020 (r528049) +++ head/math/py-pysmt/Makefile Sun Mar 8 16:18:05 2020 (r528050) @@ -1,6 +1,6 @@ # $FreeBSD$ -PORTNAME= PySMT +PORTNAME= pysmt DISTVERSIONPREFIX= v DISTVERSION= 0.8.0 CATEGORIES= math python @@ -18,9 +18,8 @@ TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-n # Supported Python versions: 2.7,3.5+ USES= python USE_GITHUB= yes -GH_ACCOUNT= pysmt -GH_PROJECT= pysmt USE_PYTHON= autoplist concurrent distutils +PYDISTUTILS_PKGNAME= PySMT NO_ARCH= yes
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202003081618.028GI5oc028858>