Commit History - (may be incomplete: see SVNWeb link above for full details) |
Date | By | Description |
18 Feb 2021 14:35:50
4.8.10

|
arrowd  |
math/z3: Update to 4.8.10 |
20 Oct 2020 19:02:37
4.8.9

|
arrowd  |
math/z3: Update to 4.8.9 |
13 May 2020 08:18:06
4.8.8

|
arrowd  |
math/z3: Update to 4.8.8. |
14 Apr 2020 10:45:32
4.8.7

|
pkubaj  |
math/z3: fix build on powerpc with clang
Add -fPIC to CXXFLAGS:
ld: error: relocation R_PPC_ADDR16_HA cannot be used against local symbol;
recompile with -fPIC
>>> defined in api/dll/gparams_register_modules.o
>>> referenced by gparams_register_modules.cpp
>>>
api/dll/gparams_register_modules.o:(gparams_register_modules())
Adding -Wl,-znotext to LDFLAGS doesn't help. |
24 Nov 2019 07:17:49
4.8.7

|
arrowd  |
math/z3: Pull in upstream patch to fix build on i386.
Reported by: pkg-fallout |
23 Nov 2019 15:55:44
4.8.7

|
arrowd  |
math/z3: Update to 4.8.7. |
21 Sep 2019 20:32:15
4.8.6

|
arrowd  |
math/z3: Update to 4.8.6. |
26 Jul 2019 20:46:57
4.8.5_1

|
gerald  |
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.
PR: 238330 |
26 Jun 2019 18:41:25
4.8.5

|
arrowd  |
math/z3: Update to 4.8.5. |
23 Feb 2019 16:26:38
4.8.4

|
arrowd  |
math/z3: Update to 4.8.4.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19306 |
12 Dec 2018 01:35:36
4.8.3_1

|
gerald  |
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.
PR: 231590 |
24 Nov 2018 11:43:44
4.8.3

|
arrowd  |
math/z3: Update to 4.8.3
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D18305 |
22 Sep 2018 20:31:22
4.7.1_1

|
arrowd  |
math/z3: Add compiler:c++11-lang to USES.
PR: 231604
Submitted by: Piotr Kubaj <pkubaj@anongoth.pl>
Approved by: tcberner (mentor) |
18 Sep 2018 16:59:02
4.7.1_1

|
emaste  |
math/z3: add -znotext to LDFLAGS on i386, for lld
This port links some non-PIC code, which fails with lld as it defaults
to disallowing relocations against read-only segments. For i386 we can
just add -znotext unconditionally: for GNU BFD ld it just affirms BFD's
existing default.
PR: 214864
Approved by: portmgr (lld blanket)
Sponsored by: The FreeBSD Foundation |
24 Jul 2018 21:03:48
4.7.1_1

|
yuri  |
math/z3: Fix the python binding to work for all python versions
The python binding is removed from math/z3 and placed into a separate
port math/mpy-z3-solver that builds for all python versions.
While here, remove the unnecessary CONFLICTS statement.
PR: 229937
Approved by: portmgr |
17 Jun 2018 17:23:33
4.7.1

|
arrowd  |
math/z3: Update to 4.7.1.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D15864 |
09 Mar 2018 16:55:38
4.6.0

|
linimon  |
Mark this ports unbroken on powerpc64.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket) |
23 Jan 2018 13:55:27
4.6.0

|
ale  |
Update to 4.6.0 release and create shared lib symlink.
Differential Revision: https://reviews.freebsd.org/D13637
Submitted by: maintainer |
24 Dec 2017 13:01:36
4.5.0_2

|
jrm  |
math/z3: Add missing dependency on devel/py-setuptools
PR: 224438
Reported by: cem
Reviewed by: mat
Approved by: 6yearold@gmail.com (maintainer)
Differential Revision: https://reviews.freebsd.org/D13542 |
30 Nov 2017 15:50:34
4.5.0_1

|
mat  |
Convert Python ports to FLAVORS.
Ports using USE_PYTHON=distutils are now flavored. They will
automatically get flavors (py27, py34, py35, py36) depending on what
versions they support.
There is also a USE_PYTHON=flavors for ports that do not use distutils
but need FLAVORS to be set. A USE_PYTHON=noflavors can be set if
using distutils but flavors are not wanted.
A new USE_PYTHON=optsuffix that will add PYTHON_PKGNAMESUFFIX has been
added to cope with Python ports that did not have the Python
PKGNAMEPREFIX but are flavored.
USES=python now also exports a PY_FLAVOR variable that contains the (Only the first 15 lines of the commit message are shown above ) |
05 Sep 2017 15:26:55
4.5.0_1

|
jrm  |
math/z3: Patch to add SONAME to shared library
Also ensure that python is available at build time when the PYTHON option
(for python bindings) is off.
PR: 221321
Submitted by: 6yearold@gmail.com (maintainer) |
09 Dec 2016 07:02:53
4.5.0

|
wen  |
- Update to 4.5.0
PR: 215126
Submitted by: itbot@list.ru
Approved by: 6yearold@gmail.com(maintainer) |
21 Apr 2016 16:43:15
4.4.0

|
swills  |
many ports: mark broken on powerpc64 |
01 Apr 2016 14:16:20
4.4.0

|
mat  |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
23 Sep 2015 15:09:10
4.4.0

|
feld  |
Port improvements and modernization
This is a no-op
Submitted by: jbeich |
22 Sep 2015 15:43:18
4.4.0

|
feld  |
Z3 is a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
PR: 202136
Submitted by: 6yearold@gmail.com |