X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f X-Recipient: djgpp AT delorie DOT com Date: Mon, 26 Nov 2007 09:25:12 -0500 From: Ethan Rosenberg Subject: Re: SPLINT In-reply-to: <474A5FDE.D1DBAFE8@yahoo.com> To: djgpp AT delorie DOT com Message-id: <0JS400DQTAQGZRV0@mta5.srv.hcvlny.cv.net> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 7.1.0.9 Content-type: multipart/alternative; boundary="Boundary_(ID_H61sxaYMriKrw31f7vK6mA)" References: <0JS300N3J5SP1N30 AT mta3 DOT srv DOT hcvlny DOT cv DOT net> <474A5FDE DOT D1DBAFE8 AT yahoo DOT com> Reply-To: djgpp AT delorie DOT com Errors-To: nobody AT delorie DOT com X-Mailing-List: djgpp AT delorie DOT com X-Unsubscribes-To: listserv AT delorie DOT com Precedence: bulk --Boundary_(ID_H61sxaYMriKrw31f7vK6mA) Content-type: text/plain; charset=us-ascii; format=flowed Content-transfer-encoding: 7BIT At 12:55 AM 11/26/2007, you wrote: >Ethan Rosenberg wrote: > > > > Can someone please help me with this... > > > > I am trying to install SPLINT on my DOS 7.1 box. The only way I > > can do this is compile from the source code. I have downloaded the > > bash shell and cannot get any further with the installation > > following the instructions contained here: > > http://www.splint.org/source.html > > I have gcc, make and a DPMI server in the directory where the > > sources reside. > >IIRC I just installed the binary. Years ago. Works. > >-- > Chuck F (cbfalconer at maineline dot net) > > Try the download section. > > >-- >Posted via a free Usenet account from http://www.teranews.com Chuck - Thank you. On a DOS box? How? Try the download section. I did. Downloaded both sources and binaries. I cannot make it work. Please provide instructions. Thanks again. Ethan --Boundary_(ID_H61sxaYMriKrw31f7vK6mA) Content-type: text/html; charset=us-ascii Content-transfer-encoding: 7BIT At 12:55 AM 11/26/2007, you wrote:
Ethan Rosenberg wrote:
>
> Can someone please help me with this...
>
> I am trying to install SPLINT on my DOS 7.1 box.  The only way I
> can do this is compile from the source code. I have downloaded the
> bash shell and cannot get any further with the installation
> following the instructions contained here:
>      http://www.splint.org/source.html
> I have gcc, make and a DPMI server in the directory where the
> sources reside.

IIRC I just installed the binary.  Years ago.  Works.

--
 Chuck F (cbfalconer at maineline dot net)
   < http://cbfalconer.home.att.net>
   Try the download section.


--
Posted via a free Usenet account from http://www.teranews.com

Chuck -

Thank you.

On a DOS box?  How?   

Try the download section.  I did. Downloaded both sources and binaries.

I cannot make it work.  Please provide instructions.

Thanks again.

Ethan --Boundary_(ID_H61sxaYMriKrw31f7vK6mA)--