set(SAMPLES
  failmessages.c
  exit.c
  long-messages.c
  other-crashes.c
  theories_regression.c

)

if (CMAKE_CXX_COMPILER_WORKS)
  set(SAMPLES ${SAMPLES}
    failmessages.cc
    exit.cc
    long-messages.cc
    other-crashes.cc
    theories_regression.cc

    exception.cc
  )
endif ()

add_samples("${CMAKE_CURRENT_LIST_DIR}" "${SAMPLES}")