Opened 10 months ago

Closed 9 months ago

#60488 closed defect (fixed)

py-z3 depends on nonexistent py38-z3 port

Reported by: ryandesign (Ryan Schmidt) Owned by: landonf (Landon Fuller)
Priority: Normal Milestone:
Component: ports Version: 2.6.2
Keywords: Cc:
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 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).

Change History (1)

comment:1 Changed 9 months ago by ryandesign (Ryan Schmidt)

Resolution: fixed
Status: assignedclosed

In 015a32d7c2511e5e89591d4529816fadfef6b348/macports-ports (master):

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

Closes: #60488

Note: See TracTickets for help on using tickets.