[splint-discuss] Platforms

[Michael Wojcik]

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

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.

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.

-- 
Michael Wojcik
Principal Software Systems Developer, Micro Focus