Curious autobuild failure

[Simon Horman <horms@verge.net.au>]

Hi,

I'm pondering over the following build log

http://buildd.debian.org/fetch.cgi?pkg=heartbeat;ver=2.0.8-5;arch=ia64;stamp=1179386177

I think that the problem is caused by IPv6addr not being
built because linux/icmpv6.h is absent, which seems to
be confirmed in the output of configure.

However linux/icmpv6.h should be present in
linux-kernel-headers, which the log reports as being installed.

Toolchain package versions: [snip] linux-kernel-headers_=*=PROVIDED=*= [snip]

I'm not sure what =*=PROVIDED=*= means, but I am curious to know
if linux/icmpv6.h is present, and if so, why configure doesn't find it.

Any ideas?

-- 
Horms
  H: http://www.vergenet.net/~horms/
  W: http://www.valinux.co.jp/en/