<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 29, 2019 at 5:23 PM Gedare Bloom <<a href="mailto:gedare@rtems.org">gedare@rtems.org</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">On Wed, Jul 24, 2019 at 7:16 AM Joel Sherrill <<a href="mailto:joel@rtems.org" target="_blank">joel@rtems.org</a>> wrote:<br>
><br>
> Hi<br>
><br>
> I just wanted to make sure we followed proper procedures and policies when considering rule checkers.<br>
><br>
I guess these comments are germane to the other thread, but I want to<br>
reflect here a bit.<br>
<br>
> 1. The license must appropriate.<br>
><br>
Can you expand what you mean by this?<br></blockquote><div><br></div><div>It must be a FLOSS tool -- it can't be proprietary. We use Scan but it has issues.</div><div><br></div><div>It also must be available on the normal set of commonly used hosts. </div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
> 2. There should be some basic requirements that the tool is expected to meet to be fit for purpose<br>
><br>
> 3. The tool must support the range of development hosts used in the Community.<br>
><br>
Only if we make it a requirement for developers to check these rules<br>
locally before submitting patches/commits. If we had a server for<br>
example that could accept submissions from developers, this would be<br>
irrelevant?<br></blockquote><div><br></div><div>If we relax this rule, then we will end up with a one host tool and have to have</div><div>a server that runs it. Our infrastructure is FreeBSD so saying it supports the range</div><div>of hosts is likely saying it supports our servers, Linux, MacOS, Cygwin, and MingW </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
> As a detail, once selected the tool needs to have an RSB recipe.<br>
><br>
Only if you require that checkers must be built-from-source.<br></blockquote><div><br></div><div>If we can't get source, then they aren't FLOSS and we are depending on</div><div>them coming with distributions and being provided for every host we care</div><div>about. </div><div><br></div><div>We need something like Phabricator so things can be run against the code</div><div>as part of the review/submission process but I want every tool to be available</div><div>to every user. </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>
> For style checkers, I am concerned that they are not integrated into the normal development and build process. There is already enough "garbage collection" to do and making a special pass. If that's the case, it will just be a burden.<br>
><br>
> Just some thoughts. I'm not opposed to this, I just don't want something like Coverity where it is only run periodically and only a few people even look at it much less fix problems.<br>
><br>
I think that the problem of only running periodically and having few<br>
eyes/fixes are a bit orthogonal to things you pointed out earlier. I<br>
think the inclusion of rule checkers will be a good thing, but I also<br>
agree that how it gets done is important for long-term viability.<br></blockquote><div><br></div><div>The less available and less open the tool is, the less likely it is that anyone</div><div>will look at it. I guess I think the two issues are tied together.</div><div><br></div><div>If we can add it to the RSB, then it can be built locally and integrated by us into</div><div>the normal build process. Otherwise, we just become a project which is hard to</div><div>submit code to because we are picky and have our own tools at the end.</div><div><br></div><div>What does Chromium do with their checker? That would be a good reference to</div><div>see where on the spectrum a big project falls.</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>
> --joel<br>
> _______________________________________________<br>
> devel mailing list<br>
> <a href="mailto:devel@rtems.org" target="_blank">devel@rtems.org</a><br>
> <a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a><br>
</blockquote></div></div>