[splint-discuss] install splint

[Sun, Forrest (GE Healthcare)]

Changing "__pid_t" to "pid_t" seemed to resolve the compile problem I
had. Got splint built successfully.

Thanks,
Forrest

-----Original Message-----

Message: 1
Date: Mon, 16 Feb 2009 17:40:18 -0500
From: Bill Pringlemeir <splint at sympatico.ca>
Subject: Re: [splint-discuss] install splint
To: Discussions about the Splint annotation-assisted static analysis
	project	<splint-discuss at cs.virginia.edu>
Cc: splint-discuss at mail.cs.virginia.edu
Message-ID: <87hc2uypil.fsf at sympatico.ca>
Content-Type: text/plain; charset=us-ascii

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.h
tml

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.