> From: [EMAIL PROTECTED] 
> [mailto:[EMAIL PROTECTED] 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

_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss

Reply via email to