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>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
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/ ]