X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f
From: Juan Manuel Guerrero <juan DOT guerrero AT gmx DOT de>
Newsgroups: comp.os.msdos.djgpp
Subject: Re: Splint - Problems with header files resend
Date: Fri, 11 Jan 2008 05:08:27 -0800 (PST)
Organization: http://groups.google.com
Lines: 28
Message-ID: <15dbab5b-0442-4862-8ff7-25eaeb7d7436@u10g2000prn.googlegroups.com>
References: <0JUG005APSUAMG31 AT mta4 DOT srv DOT hcvlny DOT cv DOT net>
NNTP-Posting-Host: 88.68.63.121
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1200056908 32515 127.0.0.1 (11 Jan 2008 13:08:28 GMT)
X-Complaints-To: groups-abuse AT google DOT com
NNTP-Posting-Date: Fri, 11 Jan 2008 13:08:28 +0000 (UTC)
Complaints-To: groups-abuse AT google DOT com
Injection-Info: u10g2000prn.googlegroups.com; posting-host=88.68.63.121; 
	posting-account=OsAajgoAAADdKJnkJkmhzqP0jo6I_P_0
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-us) 
	AppleWebKit/48 (like Gecko) Safari/48,gzip(gfe),gzip(gfe)
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Reply-To: djgpp AT delorie DOT com

Ethan Rosenberg schrieb:
> I have a program that uses its own header file.  The program and
> header file are both on a:. Even with the switch -Ia:, Splint cannot
> find the header file.  It states that a: is in the search path for
> header files, but the header cannot be found.

a: is the disk drive.  Are you sure that you have inserted the disk
with the header files stored on it that you are looking for?

Does the same problem appear if you move your header files
to some other partition, lets say d:?

Are the files looked in some way that splint can not acces them?


Any way, sent me the source code and the headers in a zip file
to my email address and I will try to debug this.


> Do I have permission to send this to the splint listserve?

This does not make to much sense because the maintainers
of splint do not know anything about MSDOS and my DJGPP port
of splint.


Regards,
Juan M. Guerrero