diff options
Diffstat (limited to 'proofs/lfsc_checker/configure.ac')
| -rw-r--r-- | proofs/lfsc_checker/configure.ac | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/proofs/lfsc_checker/configure.ac b/proofs/lfsc_checker/configure.ac index 5f4353664..9ef902237 100644 --- a/proofs/lfsc_checker/configure.ac +++ b/proofs/lfsc_checker/configure.ac @@ -27,6 +27,10 @@ AC_DISABLE_STATIC AC_PROG_CXX AC_PROG_CC +# C++11 support in the compiler is now mandatory. Check for support and add +# switches if necessary. +AX_CXX_COMPILE_STDCXX_11([ext], [mandatory]) + # Checks for libraries. # FIXME: Replace `main' with a function in `-lgmp': AC_CHECK_LIB([gmp], [__gmpz_init]) |