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