diff options
| author | Andres Notzli <andres.noetzli@gmail.com> | 2017-04-19 08:46:59 -0700 |
|---|---|---|
| committer | Andres Notzli <andres.noetzli@gmail.com> | 2017-04-19 08:51:44 -0700 |
| commit | 61e18b897f0db2fa99c397cc0f5b8202a8baaf7c (patch) | |
| tree | 03d710c399b77c5e1e6d72f18e99bc7a6d2b05f8 | |
| parent | 25fcfe393d1d8808a866a5f1cfc4f7edf273316d (diff) | |
Add check for C++ exceptions to config script
Bug 687 was caused by the configuration not properly supporting C++
exceptions. To avoid such an incidence in the future, this commit adds a
simple check to `configure.ac` (when not cross compiling).
| -rw-r--r-- | configure.ac | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index d2c08661b..7da86d8a8 100644 --- a/configure.ac +++ b/configure.ac @@ -253,6 +253,27 @@ AC_PROG_INSTALL CVC4_GCC_VERSION +if test $cross_compiling = "no"; then + AC_MSG_CHECKING([whether C++ exceptions work]) + AC_LANG_PUSH([C++]) + AC_RUN_IFELSE( + AC_LANG_PROGRAM([#include <exception>], [[ + int result = 1; + try { + throw std::exception(); + } catch (...) { + result = 0; + } + return result; + ]]), + [AC_MSG_RESULT([yes])], + [AC_MSG_ERROR([C++ exceptions do not work.])] + ) + AC_LANG_POP([C++]) +else + AC_MSG_WARN([Cross compiling, cannot check whether exceptions work]) +fi + cvc4_use_gmp=2 cvc4_use_cln=2 |