diff options
| author | Mateusz Piotrowski <0mp@FreeBSD.org> | 2020-03-08 16:18:05 +0000 |
|---|---|---|
| committer | Mateusz Piotrowski <0mp@FreeBSD.org> | 2020-03-08 16:18:05 +0000 |
| commit | 0480db5e0be5f7b0bae0bddec7ee9997bcc01e32 (patch) | |
| tree | b375832b881cbbb0fa4af0c4d41750663f48b678 /math | |
| parent | 9b6e243a4967c0f587ee858f9c7df1e28b877570 (diff) | |
| download | ports-0480db5e0be5f7b0bae0bddec7ee9997bcc01e32.tar.gz ports-0480db5e0be5f7b0bae0bddec7ee9997bcc01e32.zip | |
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
Notes
Notes:
svn path=/head/; revision=528050
Diffstat (limited to 'math')
| -rw-r--r-- | math/Makefile | 2 | ||||
| -rw-r--r-- | math/py-claripy/Makefile | 3 | ||||
| -rw-r--r-- | math/py-pysmt/Makefile (renamed from math/py-PySMT/Makefile) | 5 | ||||
| -rw-r--r-- | math/py-pysmt/distinfo (renamed from math/py-PySMT/distinfo) | 0 | ||||
| -rw-r--r-- | math/py-pysmt/pkg-descr (renamed from math/py-PySMT/pkg-descr) | 0 |
5 files changed, 5 insertions, 5 deletions
diff --git a/math/Makefile b/math/Makefile index 320d2520e8e2..f05c624d2cc7 100644 --- a/math/Makefile +++ b/math/Makefile @@ -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 diff --git a/math/py-claripy/Makefile b/math/py-claripy/Makefile index 633a29d0b58e..69f6705908d5 100644 --- a/math/py-claripy/Makefile +++ b/math/py-claripy/Makefile @@ -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 diff --git a/math/py-PySMT/Makefile b/math/py-pysmt/Makefile index 1337de6abe30..61cd8796d4ae 100644 --- a/math/py-PySMT/Makefile +++ b/math/py-pysmt/Makefile @@ -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-nose@${PY_FLAVOR} # 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 diff --git a/math/py-PySMT/distinfo b/math/py-pysmt/distinfo index 0b4ec99ad8f6..0b4ec99ad8f6 100644 --- a/math/py-PySMT/distinfo +++ b/math/py-pysmt/distinfo diff --git a/math/py-PySMT/pkg-descr b/math/py-pysmt/pkg-descr index 1907b331491f..1907b331491f 100644 --- a/math/py-PySMT/pkg-descr +++ b/math/py-pysmt/pkg-descr |