diff options
Diffstat (limited to 'lib/make/configure.in')
| -rw-r--r-- | lib/make/configure.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/make/configure.in b/lib/make/configure.in index dbbf846b..8ec1f5a2 100644 --- a/lib/make/configure.in +++ b/lib/make/configure.in @@ -908,10 +908,22 @@ CCTK_CXX_ATTRIBUTE_COLD CCTK_C_ATTRIBUTE_HOT CCTK_CXX_ATTRIBUTE_HOT +# Find out whether the C compiler supports __attribute__((format(...))) +CCTK_C_ATTRIBUTE_FORMAT +CCTK_CXX_ATTRIBUTE_FORMAT + +# Find out whether the C compiler supports __attribute__((noreturn)) +CCTK_C_ATTRIBUTE_NORETURN +CCTK_CXX_ATTRIBUTE_NORETURN + # Find out whether the C compiler supports __builtin_expect CCTK_C_BUILTIN_EXPECT CCTK_CXX_BUILTIN_EXPECT +# Find out whether the C compiler supports __builtin_unreachable +CCTK_C_BUILTIN_UNREACHABLE +CCTK_CXX_BUILTIN_UNREACHABLE + if test "x$REAL16_KIND" = 'x'; then REAL16_KIND=16 fi |