Message-ID: <3D0C2DF0.A4EBC87A@yahoo.com>
Date: Sun, 16 Jun 2002 02:19:28 -0400
From: CBFalconer <cbfalconer AT yahoo DOT com>
Organization: Ched Research
X-Mailer: Mozilla 4.75 [en] (Win98; U)
X-Accept-Language: en
MIME-Version: 1.0
To: djgpp- workers <djgpp-workers AT delorie DOT com>
Subject: splint (nee lclint)
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Reply-To: djgpp-workers AT delorie DOT com

Has anyone done a djgpp port of this?  All available via
<http://splint.org> and, since it is strictly a command line tool,
it seem much more suited to djgpp than to the existing W32 port
via VC6.

The W32 installation is confusing me.  There must be configuration
files somewhere, and means of setting it up to suit individual
usage, but I can't find them.  I can't even tell if it is supposed
to handle C++ (as pclint does), even though I don't use C++.

-- 
Chuck F (cbfalconer AT yahoo DOT com) (cbfalconer AT worldnet DOT att DOT net)
   Available for consulting/temporary embedded and systems.
   <http://cbfalconer.home.att.net>  USE worldnet address!