From: Greg Banks <gnb@alphalink.com.au>
To: Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
Kernel Build Mailing List <kbuild-devel@lists.sourceforge.net>
Subject: ANNOUNCE: gcml2 0.7
Date: Mon, 19 Aug 2002 19:06:16 +1000 [thread overview]
Message-ID: <3D60B508.B8ABABC6@alphalink.com.au> (raw)
G'day,
gcml2 is (among other things) a Linux kconfig language syntax
checker. Version 0.7 is available at
http://sourceforge.net/project/showfiles.php?group_id=18813&release_id=106023
and
http://www.alphalink.com.au/~gnb/gcml2/download.html
There's also an online summary of the warnings and errors from the
syntax checker, with real examples, from
http://www.alphalink.com.au/~gnb/gcml2/checker.html
Here's the change log
* Warnings can be individually enabled. Default set depends
on whether the parser is in merge mode. API functions to
enable/disable warnings by index and convert a string name
to an index.
* Added check for define to nonliteral expression.
* More precise check for ambiguous comparison against "n" only
complains for symbols which are forward-declared at the point
when compared.
* Made inconsistent-tag warnings more precise; doesn't
emit spurious warnings about define_bool not having an
(EXPERIMENTAL) tag.
* More precise check for forward references and forward
dependencies can tell the difference between forward and
undeclared, at the cost of some storage.
* Check for overlapping definitions by reducing conditions to
disjunctive normal forms.
* Added check for forward dependencies.
* Added check for misuse of and dependency on arch-constant
symbols like CONFIG_X86.
* Renamed summarise-warnings.awk -> summarize.awk and installed
it.
* Added cml-summarize shell script, which runs summarize.awk.
* Added cml-check-all shell script, based on old dochecks.sh,
but now also handles running cml-summarize.
* Added manpages for cml-check, cml-check-all and
cml-summarize. Description of errors and warnings for the
cml-check manpage is controlled in HTML and shared with the
web page.
* RPM package support: added spec file, rpm: target.
Greg.
--
the price of civilisation today is a courageous willingness to prevail,
with force, if necessary, against whatever vicious and uncomprehending
enemies try to strike it down. - Roger Sandall, The Age, 28Sep2001.
reply other threads:[~2002-08-19 9:01 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=3D60B508.B8ABABC6@alphalink.com.au \
--to=gnb@alphalink.com.au \
--cc=kbuild-devel@lists.sourceforge.net \
--cc=linux-kernel@vger.kernel.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox