[MacPorts] #72155: z3 @4.13.4 fails to build

[MacPorts]

#72155: z3 @4.13.4 fails to build
--------------------+--------------------
 Reporter:  lpgaff  |      Owner:  (none)
     Type:  defect  |     Status:  new
 Priority:  Normal  |  Milestone:
Component:  ports   |    Version:  2.10.5
 Keywords:          |       Port:  z3
--------------------+--------------------
 z3 fails at the configure stage when cmake is testing the compiler. The
 test build files do not exist and then the configure exits with an error.
 See log file attached.

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