From: "Uwe Kleine-König" <Uwe.Kleine-Koenig@domain.hid>
To: Robert Schwebel <r.schwebel@domain.hid>
Cc: xenomai-core <xenomai@xenomai.org>
Subject: Re: [Xenomai-core] [PATCH][SOLO] add sparse support
Date: Tue, 1 Apr 2008 16:38:07 +0200 [thread overview]
Message-ID: <20080401143807.GA26081@domain.hid> (raw)
In-Reply-To: <20080401103647.GR13814@domain.hid>
Hello,
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 haven't looked at it, but cgcc might help you. I don't know how it
interacts with libtool, but maybe simply:
make CC=cgcc
works?
Best regards
Uwe
--
Uwe Kleine-König, Software Engineer
Digi International GmbH Branch Breisach, Küferstrasse 8, 79206 Breisach, Germany
Tax: 315/5781/0242 / VAT: DE153662976 / Reg. Amtsgericht Dortmund HRB 13962
next prev parent reply other threads:[~2008-04-01 14:38 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-01 10:36 [Xenomai-core] [PATCH][SOLO] add sparse support Robert Schwebel
2008-04-01 10:43 ` [Xenomai-core] [PATCH][SOLO] sparse fix: use NULL instead of 0 Robert Schwebel
2008-04-01 10:44 ` [Xenomai-core] [PATCH][SOLO] sparse: clockobj_unmap not declared Robert Schwebel
2008-04-01 10:44 ` [Xenomai-core] [PATCH][SOLO] sparse: threadobj_global_rr " Robert Schwebel
2008-04-01 10:45 ` [Xenomai-core] [PATCH][SOLO] sparse: include panic header file Robert Schwebel
2008-04-01 10:46 ` [Xenomai-core] [PATCH][SOLO] sparse: include sysClkRateGet declaration Robert Schwebel
2008-04-01 14:38 ` Uwe Kleine-König [this message]
2008-04-03 9:37 ` [Xenomai-core] [PATCH][SOLO] add sparse support Philippe Gerum
2008-04-04 12:22 ` Robert Schwebel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20080401143807.GA26081@domain.hid \
--to=uwe.kleine-koenig@domain.hid \
--cc=r.schwebel@domain.hid \
--cc=xenomai@xenomai.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.