[splint-discuss] Platforms
Ethan Rosenberg
ethros at earthlink.net
Sun Nov 18 15:35:37 PST 2007
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: lholzheid at bihl-wiedemann.de
>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
More information about the splint-discuss
mailing list