[splint-discuss] Splint 3.1.2 build failure (OS X 10.4.10)

[d.brodale]

Splint 3.1.2 fails to build for OS X 10.4.10, though
version 3.1.1 seemed to without issue.

Past the `./configure` stage, `make` errors out here:

Compiling osd.c...
osd.c: In function 'osd_getPid':
osd.c:519: error: '__pid_t' undeclared (first use in this function)
osd.c:519: error: (Each undeclared identifier is reported only once
osd.c:519: error: for each function it appears in.)
osd.c:519: error: parse error before 'pid'
osd.c:522: error: 'pid' undeclared (first use in this function)
make[3]: *** [osd.o] Error 1
make[2]: *** [Headers/flag_codes.gen] Error 2
make[1]: *** [all-recursive] Error 1
make: *** [all] Error 2

Any suggestions from the list?

Of lesser concern, the documentation bundled with Splint 3.1.2
still references version 3.1.1 within install.html.

-don