<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

  <meta content="text/html;charset=UTF-8" http-equiv="Content-Type">

</head>

<body bgcolor="#ffffff" text="#000000">

Paul Dorrell wrote:<br>

<br>

<blockquote

 cite="mid:AFA1234E560CA8408A941B0C97BC55BC01BE57A0@mm-dcmx01.micromill.local"

 type="cite">

  <div class="Section1">

  <p class="MsoNormal"><font face="Arial" size="2"><span

 style="font-size: 10pt; font-family: Arial;">Is there the common

solution to both my path problem ... and

Peter’s too?</span></font></p>

  </div>

</blockquote>

<br>

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).<br>

<br>

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:<br>

<br>

#include "standard.h"<br>

#include "mystuff.h"<br>

<br>

I then compiled this header with the command<br>

<br>

    splint -nolib -nof splintlib.h -dump splintlib.lcd<br>

<br>

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.<br>

<br>

Peter<br>

<br>

</body>

</html>