py-z3 depends on nonexistent py38-z3 port

[ryandesign (Ryan Carsten Schmidt)]

py-z3 depends on py38-z3 which does not exist:

$ port deps py-z3
Full Name: py-z3 @4.8.7_0
Build Dependencies:   cmake, ninja
Library Dependencies: z3, py38-z3
$ port deps py38-z3
Error: Port py38-z3 not found

This is probably happening because of the unusual way in which the z3 port uses the python portgroup and the fact that the python portgroup recently changed its default python version from 37 to 38.

The fix would be to set python.default_version 37 in the py-z3 subport (before you set its dependencies).

Or if you want to add a py38-z3 subport, set python.default_version 38 (to guard against a future time when the python portgroup once again changes its default to a version that's not in the port).

[ryandesign (Ryan Carsten Schmidt)]

In 015a32d7c2511e5e89591d4529816fadfef6b348/macports-ports (master):

z3: Fix py-z3 so it depends on py37-z3 again

Closes: #60488