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