math/z3: fix build with clang 19

Clang 19 has become more strict about errors in member functions, which
results in:

/wrkdirs/usr/ports/math/z3/work/z3-z3-4.13.0/src/math/lp/static_matrix.h:82:72:
error: no member named 'get' in 'static_matrix<T, X>'; did you mean 'set'?
 82 |         ref operator=(ref & v) { m_matrix.set(m_row, m_col,
v.m_matrix.get(v.m_row, v.m_col)); return *this; }
    |                                                                        ^~~
    |                                                                        set
/wrkdirs/usr/ports/math/z3/work/z3-z3-4.13.0/src/math/lp/static_matrix.h:164:10:
note: 'set' declared here
164 |     void set(unsigned row, unsigned col, T const & val);
    |          ^

Upstream fixed this as part of a few other changes for gcc 15 in
<https://github.com/Z3Prover/z3/commit/2ce89e5f4>, but it does not apply
cleanly to this version, so add a backported patch.

PR:		281512
MFH:		2024Q3

math/z3: Update to 4.13.0

math/z3: Mark BROKEN on i386

Reported by:	pkg-fallout

math/z3: Unbreak on i386

PR:		269570

math/z3: Update to 4.12.4

math/z3: Mark BROKEN on i386.

Reported by:	pkg-fallout

math/z3: Restore accidentally removed DEBUG option.

Fixes:	f52ed517f2ef24237c31e657f442dd1ec4038bf2

math/z3: Update to 4.12.1

Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)

Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.

math/z3: fix build on armv7

Same issue as on powerpc.

math/z3: Update to 4.10.2

math/z3: Update to 4.8.17

math/z3: Update to 4.8.16

Fix DEBUG option by not stripping resulting binaries.

Reported by:	repology.org

math/z3: Update to 4.8.13

Disable STATIC option by default.

math/z3: Update to 4.8.12

One more small cleanup, forgotten yesterday.
Reported by:	lwhsu

Remove # $FreeBSD$ from Makefiles.

math/z3: Update to 4.8.10

math/z3: Update to 4.8.9

math/z3: Update to 4.8.8.

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.

math/z3: Pull in upstream patch to fix build on i386.

Reported by:	pkg-fallout

math/z3: Update to 4.8.7.

math/z3: Update to 4.8.6.

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

math/z3: Update to 4.8.5.

math/z3: Update to 4.8.4.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D19306

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

math/z3: Update to 4.8.3

Approved by:	tcberner (mentor)
Differential Revision:	   https://reviews.freebsd.org/D18305

math/z3: Add compiler:c++11-lang to USES.

PR:		231604
Submitted by:	Piotr Kubaj <pkubaj@anongoth.pl>
Approved by:	tcberner (mentor)

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

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

math/z3: Update to 4.7.1.

Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D15864

Mark this ports unbroken on powerpc64.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)

Update to 4.6.0 release and create shared lib symlink.

Differential Revision:	https://reviews.freebsd.org/D13637
Submitted by:	maintainer

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

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

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)

- Update to 4.5.0

PR:		215126
Submitted by:	itbot@list.ru
Approved by:	6yearold@gmail.com(maintainer)

many ports: mark broken on powerpc64

Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight

Port improvements and modernization

This is a no-op

Submitted by:	jbeich

Z3 is a high-performance theorem prover developed
at Microsoft Research.

WWW: https://github.com/Z3Prover/z3

PR:		202136
Submitted by:	6yearold@gmail.com