math/py-z3-solver: update 4.13.3 → 4.14.1

math/py-z3-solver: update 4.13.2 → 4.13.3

math/py-z3-solver: update 4.8.17 → 4.13.2

This fixes the problem from bug#280689.

PR:		280689

math/py-z3-solver: Mark BROKEN

PR:		280689

math/py-z3-solver: Add NO_ARCH

Approved by:	portmgr (blanket)

*/*: convert to cmake:indirect

Convert bunch of ports to USES=cmake:indirect

math/py-z3-solver: remove not anymore needed knob for powerpc

all: remove explicit versions in USES=python for "3.x+"

The logic in USES=python will automatically convert this to 3.8+ by
itself.

Adjust two ports that only had Python 3.7 mentioned but build fine
on Python 3.8 too.

finance/quickfix: mark BROKEN with PYTHON

libtool: compile:  c++ -DHAVE_CONFIG_H -I. -I../.. -I -I. -I.. -I../.. -I../C++
-DLIBICONV_PLUG -DPYTHON_MAJOR_VERSION=3 -Wno-unused-variable
-Wno-maybe-uninitialized -O2 -pipe -DLIBICONV_PLUG -fstack-protector-strong
-fno-strict-aliasing -DLIBICONV_PLUG -Wall -ansi
-Wno-unused-command-line-argument -Wpointer-arith -Wwrite-strings
-Wno-overloaded-virtual -Wno-deprecated-declarations -Wno-deprecated -std=c++0x
-MT _quickfix_la-QuickfixPython.lo -MD -MP -MF
.deps/_quickfix_la-QuickfixPython.Tpo -c QuickfixPython.cpp  -fPIC -DPIC -o
.libs/_quickfix_la-QuickfixPython.o
warning: unknown warning option '-Wno-maybe-uninitialized'; did you mean
'-Wno-uninitialized'? [-Wunknown-warning-option]
QuickfixPython.cpp:175:11: fatal error: 'Python.h' file not found
          ^~~~~~~~~~
1 warning and 1 error generated.

Reviewed by:	portmgr, vishwin, yuri
Differential Revision:	<https://reviews.freebsd.org/D40568>

math/py-z3-solver: Broken on armv7

Reported by:	fallout

*/*: Update path set in BUILD_DEPENDS for CMake

Commit b23ea4e2d2f51b53d8915fe9fd7b4efbdd575e38 changed its location to
devel/cmake-core

Approved by:	portmgr (blanket)

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/py-z3-solver: Re-enable on i386; Broken on riscv64

math/py-z3-solver: Update 4.8.10 -> 4.8.17

math/py-z3-solver: fix build on armv7

Same issue as on powerpc.

math/py-z3-solver: fix build on powerpc

ld: error: can't create dynamic relocation R_PPC_ADDR16_LO against local symbol
in readonly segment; recompile object files with -fPIC or pass '-Wl,-z,notext'
to allow text relocations in the output

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

Remove # $FreeBSD$ from Makefiles.

math/py-z3-solver: Update 4.8.9 -> 4.8.10

Drop python 2.7 support from a few ports

With hat:	portmgr

math/py-z3-solver: Update 4.8.8 -> 4.8.9

math/py-z3-solver: Update 4.8.7 -> 4.8.8

math/py-z3-solver: Update 4.8.4 -> 4.8.7

math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help

Reported to the upstream.

Reported by:	fallout

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/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs

math/py-z3-solver: Fix build on 13-CURRENT i386

Reported by:	fallout

math/py-z3-solver: Update 4.7.1 -> 4.8.4

This port requires USES=compiler:c++11-lang to build on GCC-based
architectures.

PR:		234336
Submitted by:	Piotr Kubaj
Approved by:	maintainer

math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website

z3 is a different project on PyPI.

Reported by:	koobs

math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name

Reported by:	arrowd

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