<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Hi Chris and all,</div><div class="gmail_quote"><div><br></div><div>I have finally figured it out following your suggestion,</div><div>have posted here for anyone else having that problem:</div><div><br></div><div><a href="https://stackoverflow.com/a/57212770/1614973">https://stackoverflow.com/a/57212770/1614973</a> </div><div><br></div><div>Cheers, Dmitri.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">> 'please configure port <foo-bar> to use clang-8.0 instead'<br>
> <br>
> <br>
> That would be less confusing indeed.<br>
> Can that be made the message?<br>
<br>
Not easily. The message is generated by the obsolete port group, which <br>
is used in a number of scenarios, for some of which the currently <br>
message does make sense.<br></blockquote><div><br></div><div>Then show both messages maybe? Or link to my SO post?</div><div>There is nothing more frustrated for user to get a tiny cryptic message.</div><div><br></div><div><br></div><div> </div></div>-- <br><div dir="ltr" class="gmail-m_8281875516507616810gmail_signature">Dmitri Zaitsev<br>School of Mathematics<br>Trinity College Dublin<br><br>WWW: <a href="http://www.maths.tcd.ie/~zaitsev/" target="_blank">http://www.maths.tcd.ie/~zaitsev/</a><br></div></div></div></div>