Opened 2 years ago

Closed 2 years ago

Last modified 2 years ago

#65408 closed defect (invalid)

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

Reported by: cave-canem Owned by:
Priority: Normal Milestone:
Component: ports Version: 2.7.2
Keywords: Mavericks Cc: landonf (Landon Fuller), cave-canem
Port: z3

Description

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

Attachments (1)

main.log.tar.xz (18.5 KB) - added by cave-canem 2 years ago.
main.log

Download all attachments as: .zip

Change History (7)

Changed 2 years ago by cave-canem

Attachment: main.log.tar.xz added

main.log

comment:1 Changed 2 years ago by 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.

comment:2 Changed 2 years ago 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"?

comment:3 Changed 2 years ago by jmroot (Joshua Root)

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

comment:4 Changed 2 years ago by mascguy (Christopher Nielsen)

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

comment:5 Changed 2 years ago by kencu (Ken)

Resolution: invalid
Status: newclosed

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 .

comment:6 Changed 2 years ago by 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.

Note: See TracTickets for help on using tickets.