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: [EMAIL PROTECTED] >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 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
