[splint-discuss] Platforms

[Ludolf Holzheid]

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: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------