[MacPorts] #65408: Error: z3 @4.8.17: +polly requires macports-clang-12 or later (incompatible compiler selected)

[MacPorts]

#65408: Error: z3 @4.8.17: +polly requires macports-clang-12 or later (incompatible
compiler selected)
-------------------------+-----------------------
  Reporter:  cave-canem  |      Owner:  (none)
      Type:  defect      |     Status:  new
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:  2.7.2
Resolution:              |   Keywords:  Mavericks
      Port:  z3          |
-------------------------+-----------------------

Comment (by cave-canem):

 '''Joshua Root''', do you mean that if I use the default compiler:

 {{{
 /usr/bin/clang --version
 Apple LLVM version 6.0 (clang-600.0.57) (based on LLVM 3.5svn)
 Target: x86_64-apple-darwin13.4.0
 Thread model: posix
 }}}

 it will work, even though Z3+polly writes that "+polly requires macports-
 clang-12 or later"?

 Pray tell me how can it be that  Clang-3.5 which is the standard for 10.9
 (Mavrricks) can meet the requirement "+Polly Requires Macports-Clang-12 or
 Later"?

-- 
Ticket URL: <https://trac.macports.org/ticket/65408#comment:2>
MacPorts <https://www.macports.org/>
Ports system for macOS