On Thu, Apr 03, 2008 at 11:37:31AM +0200, Philippe Gerum wrote:
> Robert Schwebel wrote:
> > This patch adds static analysis support with sparse to the xenomai-solo
> > makefiles. To enable sparse checking, use
> > ./configure --with-sparse[=PATH]
> > and run 'make sparse' afterwards. I don't have a good idea right now how
> > to avoid this extra step; it would be much nicer if every call to
> > $(COMPILE) could be substituted by a sparse call plus the original one,
> > but I didn't find a good method for that yet that also works with the
> > libtool calls.
> I have merged this patch series, adapting the Makefiles so that we don't need
> any support from configure.in to run sparse.
> Normally, you should be able to run "make [SPARSE=/path/to/sparse] sparse" to
> start the analysis. Default path is "sparse".
> Additionally, this now works with out of tree builds and supports mixed
Dipl.-Ing. Robert Schwebel | http://www.pengutronix.de
Pengutronix - Linux Solutions for Science and Industry
Handelsregister: Amtsgericht Hildesheim, HRA 2686
Hannoversche Str. 2, 31134 Hildesheim, Germany
Phone: +49-5121-206917-0 | Fax: +49-5121-206917-9
Xenomai-core mailing list