[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
 Keywords:  Mavericks   |       Port:  z3
------------------------+--------------------
 {{{
 port installed active and clang-14
 The following ports are currently installed:
   clang-14 @14.0.5_0+analyzer+libstdcxx (active)
 }}}

 {{{
 which clang
 /opt/MacPorts/bin/clang
 }}}

 {{{
 clang --version
 clang version 14.0.5
 Target: x86_64-apple-darwin13.4.0
 Thread model: posix
 InstalledDir: /opt/MacPorts/libexec/llvm-14/bin
 }}}

 {{{
 sudo port -vd install z3 +gmp +lto +native +polly +polly_late
 +polly_two_level_tiling +threads
 ...
 DEBUG: CPPFLAGS="-isystem/opt/MacPorts/include/libcxx/v1 -nostdinc++
 -isystem/opt/MacPorts/include/LegacySupport -I/opt/MacPorts/include"
 inserted into CFLAGS="-march=native -O3 -mllvm -polly -mllvm -polly-
 position=before-vectorizer -mllvm -polly-2nd-level-tiling -DNDEBUG
 -isystem/opt/MacPorts/include/libcxx/v1 -nostdinc++
 -isystem/opt/MacPorts/include/LegacySupport -I/opt/MacPorts/include"
 CXXFLAGS="-march=native -O3 -mllvm -polly -mllvm -polly-position=before-
 vectorizer -mllvm -polly-2nd-level-tiling -DNDEBUG
 -isystem/opt/MacPorts/include/libcxx/v1 -nostdinc++
 -isystem/opt/MacPorts/include/LegacySupport -I/opt/MacPorts/include
 -stdlib=libc++"
 DEBUG: Executing proc-pre-org.macports.configure-configure-1
 DEBUG: Executing proc-pre-org.macports.configure-configure-2
 Error: z3 @4.8.17: +polly requires macports-clang-12 or later
 Error: Failed to configure z3: incompatible compiler selected
 DEBUG: Error code: NONE
 DEBUG: Backtrace: incompatible compiler selected
     while executing
 "$pre $targetname"
 }}}

 '''See detailed log in attachment'''

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