[splint-discuss] Platforms

[Ludolf Holzheid]

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
---------------------------------------------------------------