<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Tue, Jan 8, 2019 at 5:14 PM David Greene <<a href="mailto:dag@cray.com">dag@cray.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">"Joel E. Denny via cfe-dev" <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>> writes:<br>
<br>
> Do other Clang developers find BUILD_SHARED_LIBS=True useful? Do you<br>
> see the above failures? Should there be a bot to test that build<br>
> configuration?<br>
<br>
I don't use BUILD_SHARED_LIBS=True</blockquote><div><br></div><div>One point I'd like to understand is why more people don't use it.  Were you not aware of it, or is it just not beneficial enough to you?  I was very happy to reduce a nearly 4-minute rebuild after a minor change to ~31 sec.  Especially when I have to do that repeatedly, that time difference can determine whether I decide to switch contexts or stay focused.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> but if that's a supported option, it<br>
should be tested.<br>
<br>
This argument will, of course, lead to an explosion of builders, as the<br>
set of combinations of cmake variables is very large.  It would be<br>
useful to gather the various configurations people use and see if there<br>
is a set of common-ish combinations that is small enough to regularly<br>
test.<br>
<br>
We build with RTTI and exceptions enabled and I'll bet there are others<br>
out there that do the same.  But AFAIK there are no bots testing those<br>
options.<br></blockquote><div><br></div><div>To reduce the configuration space, we could consider combining orthogonal options under a single builder.  That could make debugging some fails a little harder, but it might be worthwhile as it would provide more coverage with less builders.<br></div><div><br></div><div>Thanks.<br></div><div><br></div><div>Joel<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
                             -David<br>
<br>
</blockquote></div></div>