[splint-discuss] Problems finding standard.lcd

[Peter C. Chapin]

Paul Dorrell wrote:

> Is there the common solution to both my path problem ... and Peter’s too?
>

I figured out what was going on in my case; perhaps this will be helpful
to you as well. The issue for me was that splint only allows a single
splint library to be loaded. I was using -load to specify a file
containing my compiled annotations for a third party library I'm using.
Because I used -load, splint was not loading the standard library
information (standard.lcd).

To solve this problem I merged the distributed standard.h file into my
annotated header and compiled them both into a single *.lcd file.
Specifically I copied standard.h from the splint distribution into my
project directory. Next I created a header named splintlib.h like this:

#include "standard.h"
#include "mystuff.h"

I then compiled this header with the command

    splint -nolib -nof splintlib.h -dump splintlib.lcd

Finally I modified my .spintrc to include "-load splintlib" This brings
my annotations of the third party library and the distributed
annotations for the standard library into splint with a single -load
command. From what I can see, it's the only way to do this. It seems to
work fine.

Peter

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071120/68a07071/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Peter_Chapin.vcf
Type: text/x-vcard
Size: 319 bytes
Desc: not available
Url : http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071120/68a07071/attachment.vcf