rustsat-cadical compilation fails on macOS + workaround

[suomela]

FYI, I noticed that rustsat-cadical fails to compile on macOS.

It turned out to be caused by this issue in cc:

• 1.0.86 producing clang: error: invalid version number in '-mmacosx-version-min=1.1' on macos 10.14 rust-lang/cc-rs#963
• Console output is full of xcrun: error: unable to lookup item 'PlatformVersion' from command line tools installation rust-lang/cc-rs#1001

It works fine after doing cargo add cc@=1.0.83.

So most likely rustsat-cadical will work fine once the bug in cc gets fixed, but I'm posting this here so that others who are struggling to get rustsat-cadical work will find a workaround somewhere…

[chrjabs]

Thanks for pointing this out and providing a workaround 👍
Interesting that the macos github CI seems to not have problems. I guess this is exclusive to macos 14.

[suomela]

It fails also on my Intel iMac with macOS 12.7.4, so it doesn't seem to be exclusive to macOS 14.

[suomela]

(But my guess is that GitHub CI has got also Homebrew-Clang, while I've got just Apple-Clang and Homebrew-GCC, and this is enough to make a difference.)

[chrjabs]

Ah, very possible. The CI is definitely macos 12 and cc version 1.0.90 works.
But good to know that there is a workaround. I'll keep an eye on the cc issues and will mark this closed and potentially bump the dependency once they fixed it.

[suomela]

Seems to work now, thanks to this: rust-lang/cc-rs#1007