diff options
| -rw-r--r-- | MOVED | 1 | ||||
| -rw-r--r-- | math/Makefile | 2 | ||||
| -rw-r--r-- | math/py-z3/Makefile (renamed from math/py-z3-solver/Makefile) | 4 | ||||
| -rw-r--r-- | math/py-z3/distinfo (renamed from math/py-z3-solver/distinfo) | 0 | ||||
| -rw-r--r-- | math/py-z3/files/patch-setup.py (renamed from math/py-z3-solver/files/patch-setup.py) | 0 | ||||
| -rw-r--r-- | math/py-z3/pkg-descr (renamed from math/py-z3-solver/pkg-descr) | 0 |
6 files changed, 4 insertions, 3 deletions
@@ -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 diff --git a/math/Makefile b/math/Makefile index 26e46b5b1b2e..450ed98371a8 100644 --- a/math/Makefile +++ b/math/Makefile @@ -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 diff --git a/math/py-z3-solver/Makefile b/math/py-z3/Makefile index d2106bd49e55..7072cd194928 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ -PORTNAME= z3-solver -DISTVERSIONPREFIX= z3- +PORTNAME= z3 +DISTVERSIONPREFIX= ${PORTNAME}- DISTVERSION= 4.7.1 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/py-z3-solver/distinfo b/math/py-z3/distinfo index 3e54a3a9cce4..3e54a3a9cce4 100644 --- a/math/py-z3-solver/distinfo +++ b/math/py-z3/distinfo diff --git a/math/py-z3-solver/files/patch-setup.py b/math/py-z3/files/patch-setup.py index af13eec6c882..af13eec6c882 100644 --- a/math/py-z3-solver/files/patch-setup.py +++ b/math/py-z3/files/patch-setup.py diff --git a/math/py-z3-solver/pkg-descr b/math/py-z3/pkg-descr index 9bddb9d30bec..9bddb9d30bec 100644 --- a/math/py-z3-solver/pkg-descr +++ b/math/py-z3/pkg-descr |