Content-Transfer-Encoding: 8bit
From: "Michael Wojcik" <[EMAIL PROTECTED]>
Precedence: list
MIME-Version: 1.0
To: "Discussions about the Splint annotation-assisted static analysisproject"
<[EMAIL PROTECTED]>
References:
<[EMAIL PROTECTED]><[EMAIL PROTECTED]><[EMAIL PROTECTED]><[EMAIL PROTECTED]>
<[EMAIL PROTECTED]>
In-Reply-To: <[EMAIL PROTECTED]>
Date: Mon, 19 Nov 2007 06:48:08 -0800
Reply-To: Discussions about the Splint annotation-assisted static analysis
project <splint-discuss@mail.cs.virginia.edu>
Message-ID:
<[EMAIL PROTECTED]>
Content-Type: text/plain;
charset="us-ascii"
Subject: Re: [splint-discuss] Platforms
Message: 10
> From: [EMAIL PROTECTED]
> [mailto:[EMAIL PROTECTED] 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
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
