[splint-discuss] install splint

[Bill Pringlemeir]

On 11 Feb 2009, Forrest.Sun at med.ge.com wrote:

> Has anyone encountered the following error during installation splint
> 3.2.1?

[snip]

> osd.c: In function `osd_getPid':
> osd.c:519: error: `__pid_t' undeclared (first use in this function)

A search on 'splint pid_t' or 'splint __pid_t' might help.

That might [eventually] take you here,

 http://www.cs.virginia.edu/pipermail/splint-discuss/2008-August/001207.html

I think it was fixed in CVS?  'pid_t' is the better variant to use.
It looks like your platform(s) has the same problem as the Mac poster?
Can you try with the CVS version (which is composed only of bug fixes
and no new feature (with additional bugs)).

fwiw,
Bill Pringlemeir.

-- 
Some people are alive because it's against the law to kill them.