On Mon, 2007-11-19 06:48:08 -0800, Michael Wojcik wrote: > > 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.
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: [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
