[splint-discuss] Platforms

[Ludolf Holzheid]

On Mon, 2007-11-19 06:48:08 -0800, Michael Wojcik wrote:
> > From: splint-discuss-bounces at cs.virginia.edu 
> > [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of 
> > Ethan Rosenberg
> > Sent: Sunday, 18 November, 2007 18:36
> > 
> > I was able to unzip it on my windows box, and xcopy it to my 
> > DOS box.  If I try to run configure, it cannot find the file 
> > [configure], and make cannot find a target.  Can someone 
> > please walk me thru this.
> 
> You're not going to be able to configure Splint to build under DOS. The
> FAT32 filesystem doesn't support long file names, for one thing.

I'm not sure splint depends on long file names.

> To get a splint binary that works under DOS you'd have to do a wholesale
> port of the technology. I don't think it's feasible.

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.

It may be somewhat tricky, but feasible in any case.

> Since you have a Windows system available, why don't you copy your
> sources (and any headers they use) to that, and run the Windows splint
> binary against them there? You don't need to run splint on your target
> system.

But the DOS box seems to be the development system ...


-- 

---------------------------------------------------------------
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
---------------------------------------------------------------