z3 @4.8.17: +polly requires macports-clang-12 or later (incompatible compiler selected)

[cave-canem]

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

[cave-canem]

main.log

[jmroot (Joshua Root)]

:debug:configure Preferred compilers: macports-clang macports-gcc clang

You appear to have overridden default_compilers. I suspect it will work if you don't do that.

[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"?

[jmroot (Joshua Root)]

No, I mean if you let the compiler selection mechanisms work as designed, it will select a compiler that will work.

[kencu (Ken)]

let's close this given the above. If cave-canem's custom mods are removed and there is still a problem, then reopen with a new log and we'll see .

[cave-canem]

Solved.

Compiled with Clang-14.

Joshua Root, You were right.

(But at the same time (it should be noted) I absolutely do not understand the logic of the author of this port file.