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 <[email protected]> Subject: Re: [splint-discuss] install splint To: Discussions about the Splint annotation-assisted static analysis project <[email protected]> Cc: [email protected] Message-ID: <[email protected]> Content-Type: text/plain; charset=us-ascii On 11 Feb 2009, [email protected] 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. _______________________________________________ splint-discuss mailing list [email protected] http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
