Re: timer_create

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