| delorie.com/archives/browse.cgi | search |
| 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 <ethros AT earthlink DOT net> |
| 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 |
| 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 |
--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) > <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) Content-type: text/html; charset=us-ascii Content-transfer-encoding: 7BIT <html> <body> At 12:55 AM 11/26/2007, you wrote:<br> <blockquote type=cite class=cite cite="">Ethan Rosenberg wrote:<br> > <br> > Can someone please help me with this...<br> > <br> > I am trying to install SPLINT on my DOS 7.1 box. The only way I<br> > can do this is compile from the source code. I have downloaded the<br> > bash shell and cannot get any further with the installation<br> > following the instructions contained here:<br> > <a href="http://www.splint.org/source.html" eudora="autourl"> http://www.splint.org/source.html</a> <br> > I have gcc, make and a DPMI server in the directory where the<br> > sources reside.<br><br> IIRC I just installed the binary. Years ago. Works.<br><br> -- <br> Chuck F (cbfalconer at maineline dot net)<br> <<a href="http://cbfalconer.home.att.net/" eudora="autourl"> http://cbfalconer.home.att.net</a>><br> Try the download section.<br><br> <br> -- <br> Posted via a free Usenet account from <a href="http://www.teranews.com/" eudora="autourl"> http://www.teranews.com</a></blockquote><br> Chuck -<br><br> Thank you.<br><br> On a DOS box? How? <br><br> <font color="#0000FF">Try the download section. I did. Downloaded both sources and binaries.<br><br> </font>I cannot make it work. Please provide instructions.<br><br> Thanks again.<br><br> Ethan</body> </html> --Boundary_(ID_H61sxaYMriKrw31f7vK6mA)--
| webmaster | delorie software privacy |
| Copyright © 2019 by DJ Delorie | Updated Jul 2019 |