[splint-discuss] Platforms

[Ethan Rosenberg]

At 03:20 AM 11/7/2007, Ludolf Holzheid wrote:
>On Wed, 2007-11-07 00:54:23 -0500, Ethan Rosenberg wrote:
> > [..]
> > I have a 32 bit C [DJGPP] which runs on DOS.  It
> > is port to DOS of the GNU C compiler.  If someone
> > has the source code, in a zip file, and can
> > provide information for compilation and installation, I would like to try.
>
>Hi Ethan,
>
>The splint sources are available for download on
>http://www.splint.org.
>
>If DJGPP provides a POSIX shell, the instructions on
>http://www.splint.org/source.html should work. Else, you'll have to
>write your own config.h and Makefiles.
>
>Ludolf
>
>--
>
>---------------------------------------------------------------
>Ludolf Holzheid             Tel:    +49 621 339960
>Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
>Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
>D-68199 Mannheim, Germany
>---------------------------------------------------------------
=============
Ludolf -

Thanks.

I checked, and all I can seem to find is a TAR 
file, which I cannot handle in DOS.

Advice and help please.

Ethan