At 08:56 AM 11/7/2007, Ludolf Holzheid wrote: >On Wed, 2007-11-07 10:25:26 -0500, Ethan Rosenberg wrote: > > At 03:20 AM 11/7/2007, Ludolf Holzheid wrote: > >> [..] > >> The splint sources are available for download on > >> http://www.splint.org. > >> [..] > > > > I checked, and all I can seem to find is a TAR > > file, which I cannot handle in DOS. > >Hi Ethan, > >Can't you use the box your Eudora is running on (or any other box >running Windows or Unix) to unzip the tgz? > >Ludolf > >-- > >--------------------------------------------------------------- >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 >---------------------------------------------------------------
Ludolf - Thank you. 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. Thanks again. Ethan _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
