svn commit: r528050 - in head: . math math/py-PySMT math/py-claripy math/py-pysmt
Mateusz Piotrowski
0mp at FreeBSD.org
Sun Mar 8 16:18:07 UTC 2020
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
More information about the svn-ports-all
mailing list