timer_create

[Christian Maeder]

Ian Lynagh wrote:
> Hi Christian,
> 
> On Thu, Mar 06, 2008 at 05:59:50PM +0100, Christian Maeder wrote:
>> #define HAVE_TIMER_CREATE 1
>>
>> Or is there a work around (apart from creating a new binary-dist using
>> ghc-6.6.1)?
> 
> I don't think using ghc 6.6.1 will make a difference.

At least our ghc-6.6.1 binary-dist works better, maybe because it was
built with an older gcc.

> However, if you alter mk/config.h after running configure, so that it
> thinks it doesn't have timer_create, then you should get a bindist that
> works on older machines.

ok, thanks.

> I'm not sure why we have both HAVE_TIMER_CREATE and USE_TIMER_CREATE.

I'd like to know, too.
Christian