[splint-discuss] Platforms

[Ethan Rosenberg]

Content-Transfer-Encoding: 8bit
From: "Michael Wojcik" <Michael.Wojcik at MicroFocus.com>
Precedence: list
MIME-Version: 1.0
To: "Discussions about the Splint annotation-assisted static analysisproject"
	<splint-discuss at cs.virginia.edu>
References: 
<0JR400B21DMV8P01 at mta3.srv.hcvlny.cv.net><20071107082001.GA29722 at svr5.bihl-wiedemann.de><0JR5008Y142N01H0 at mta4.srv.hcvlny.cv.net><20071107145616.GA16737 at svr5.bihl-wiedemann.de>
	<0JRQ007UQ6VWVU90 at mta4.srv.hcvlny.cv.net>
In-Reply-To: <0JRQ007UQ6VWVU90 at mta4.srv.hcvlny.cv.net>
Date: Mon, 19 Nov 2007 06:48:08 -0800
Reply-To: Discussions about the Splint annotation-assisted static analysis
	project <splint-discuss at mail.cs.virginia.edu>
Message-ID: 
<11352F9641010A418AD5057945A3A6598B48AD at MTV-EXCHANGE.microfocus.com>
Content-Type: text/plain;
	charset="us-ascii"
Subject: Re: [splint-discuss] Platforms
Message: 10

 > From: splint-discuss-bounces at cs.virginia.edu
 > [mailto:splint-discuss-bounces at cs.virginia.edu] 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.

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.

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.

-- 
Michael Wojcik
Principal Software Systems Developer, Micro Focus
++++++++++++++

Michael -

Thank you.

I am running DOS 7.1 [the DOS part of Win 98 w/o the Win 98 
component], which does support long file names.  I have a DOS port of 
gcc [DJGPP].  Putting both of these together, I thought that I would 
able to compile splint on my DOS box.   A DPMI server has allowed me 
to run 32 bit programs on this machine, and for that matter, they 
even ran on DOS 6.2.

My C compiler is on the DOS box, and my wife uses the Win 2000 box 
for her work, which is the reason I do not try to run splint on the 
Win 2000 box.  Additionally, to compile/run a file on the DOS box, 
and then take the source to the Win 2000 box to run splint, I think 
would be rather tedious.

Given all the above, can someone please help.

Thanks again.

Ethan