On Tue, 2007-11-20 08:44:53 -0800, Michael Wojcik wrote: > [..] > > If no POSIX environment is available to run the configure > > script, the main part would be to generate config.h and > > Makefile (from config.h.in and Makefile.in) by hand. > > Sure. That'll be fun. And emulate M4 to process aclocal.m4, and emulate > Flex and Bison to build the lexer and parser, and ...
You don't need to emulate M4 to write config.h and a Makefile. As a human being, you are able to find out the system include directories and which system library functions are available by e.g. reading man pages. BTW, Flex and Bison are available even on plain 16-bit DOS (or at least have been at the ages of Win 3.11). > [..] > In general, porting non-trivial software designed for a 32-bit > virtual-memory OS with a reasonably capable API to the limited monitor > that DOS provides is not simple. Back in the day I ported quite a bit of > Unix software to DOS, including things like diff and RCS, and it was a > chore. I do believe that. However, Ethan's target system does provide 32bit virtual memory and a reasonable libc (coming with the 32-bit DOS port of gcc). > [..] > > But the DOS box seems to be the development system ... > > So what? You don't need to run Splint on the development system. The > software I check with Splint is built on a dozen or so platforms, but I > only run Splint on one of them - and I could check it with Splint on a > platform that it's not built on, if that were my only choice. Fair enough. > [..] > Hey, if the OP really wants to port Splint to DOS 7, I won't stand in > his way. As I don't want to persuade him to do so - We seem to be carrying something like a ghost debate ... 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
