On Mon, 2007-11-05 01:30:20 -0500, Ethan Rosenberg wrote: > At 06:56 AM 11/4/2007, you wrote: > >On Thu, 2007-11-01 09:36:43 -0400, Ethan Rosenberg wrote: > >> > >> Will splint run on DOS, specifically DOS 7.1 [the DOS component of > >> Win 98]? I have a computer running only DOS 7.1 w/o Win 98. > > > >[..] > > > >I doubt splint will compile on an 16-bit operating system, so I'm > >pretty sure you won't get a native DOS splint. However, I remember > >there have been 32-bit DOS extensions (emx et al.). > > > >[..] > > I added a DPMI server [cwsdpmi] and I receive a > message "will not run on DOS systems". I thought > that a DPMI server is supposed to allow 32 bit > programs run under DOS.
Ethan, If you extend DOS with a 32-bit memory manager, you don't get Win32. Windows binaries will not run on DOS. If you want to use Splint on a DOS-only box, you'll have to get a DOS binary. Either you find one on the net, or you compile splint on/for your system. 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
