Subject:	Re: splint (nee lclint)
From:	Tim Van Holder <tim DOT van DOT holder AT pandora DOT be>
To:	djgpp-workers AT delorie DOT com
In-Reply-To:	<3D0E4BAB.45E14BBC@phekda.freeserve.co.uk>
References:	<3D0C2DF0 DOT A4EBC87A AT yahoo DOT com>
	<3D0E4BAB DOT 45E14BBC AT phekda DOT freeserve DOT co DOT uk>
X-Mailer:	Ximian Evolution 1.0.5
Date:	19 Jun 2002 08:25:04 +0200
Message-Id:	<1024467905.25909.8.camel@bender.falconsoft.be>
Mime-Version:	1.0
Reply-To:	djgpp-workers AT delorie DOT com
Errors-To:	nobody AT delorie DOT com
X-Mailing-List:	djgpp-workers AT delorie DOT com
X-Unsubscribes-To:	listserv AT delorie DOT com

On Mon, 2002-06-17 at 22:50, Richard Dawe wrote:
> Hello.
> 
> CBFalconer wrote:
> > 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.
> [snip]
> 
> Someone reported that LClint compiled with DJGPP before. I can forward you the
> e-mail I have, if you'd like. It doesn't say much more than "it compiles with
> DJGPP", though.

I did the port from autoconf 2.13 (well, they were using a manually
edited configure script based on 2.13) to 2.5x.  ISTR it needed some
massaging to work properly for DJGPP at the time (some nasty hardcoded
paths were used for include directories, for example), and there was
some use of FILE* that didn't work (unlink() while the file was open,
expecting the file to disappear after it is closed, I believe).
I've not kept too current with the state of splint tho, so it might work
much better out of the box now than it did.

- Raw text -