CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)

CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)

CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)

CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)

CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)

CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)

CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)

CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)

CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)

CHECK_C_SOURCE_RUNS(
  "#include<stdint.h>
  int main()
  {
    __sync_synchronize();
    return(0);
  }"
  HAVE_IB_GCC_SYNC_SYNCHRONISE
  )

ADD_DEFINITIONS(-DHAVE_IB_GCC_SYNC_SYNCHRONISE=1)