Sender:	rich AT phekda DOT freeserve DOT co DOT uk
Message-ID:	<3D0E4BAB.45E14BBC@phekda.freeserve.co.uk>
Date:	Mon, 17 Jun 2002 21:50:51 +0100
From:	Richard Dawe <rich AT phekda DOT freeserve DOT co DOT uk>
X-Mailer:	Mozilla 4.77 [en] (X11; U; Linux 2.2.19 i586)
X-Accept-Language:	de,fr
MIME-Version:	1.0
To:	djgpp-workers AT delorie DOT com
Subject:	Re: splint (nee lclint)
References:	<3D0C2DF0 DOT A4EBC87A AT yahoo DOT com>
Reply-To:	djgpp-workers AT delorie DOT com

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.

Bye, Rich =]

-- 
Richard Dawe [ http://www.phekda.freeserve.co.uk/richdawe/ ]

- Raw text -