[MacPorts] #60488: py-z3 depends on nonexistent py38-z3 port

[MacPorts]

#60488: py-z3 depends on nonexistent py38-z3 port
------------------------+----------------------
 Reporter:  ryandesign  |      Owner:  landonf
     Type:  defect      |     Status:  assigned
 Priority:  Normal      |  Milestone:
Component:  ports       |    Version:  2.6.2
 Keywords:              |       Port:  z3
------------------------+----------------------
 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
 [changeset:820ff7bdc6f9019c73214e80b1180dff02e173ff/macports-ports 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).

-- 
Ticket URL: <https://trac.macports.org/ticket/60488>
MacPorts <https://www.macports.org/>
Ports system for macOS