CCTK_CHECK_C_INLINE tests for an inline keyword that satifies the old pre C99 inline semantics of gcc (gcc pre 4.3 and in particular pre 4.6). If it does not find an inline that behaves like that (which happens eg. with the pgi compiler which does not try to emulate gcc) then configure actually puts a
The reason given for this in aclocal.m4 is the standard conforming behaviour is "incompatible with many libraries, leading to linker errors about duplicate symbols." This does no longer seem to be the case, at least I can compile the ET thornlist fine without this redefinition.
I fix might be to do something like (in aclocal.m4 instead of #defining inline):
the way that CCTK_CHECK_C_STATIC_INLINE does, instead of redefining a reserved language keyword.
This would also affect the "#ifndef inline" part in cctk.h line 180, which currently seems to behave strangely in any case unless the keyword detected by configure is '''exactly'''
inline and not e.g.
__inline__ __attribute__((__gnu_inline__)) that configure also tests for.