diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-11-27 18:09:16 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-11-27 18:09:16 +0000 |
commit | 0697e19c09a8ac5f1d9c30ee053845f06ea39c0e (patch) | |
tree | b9694086e1d23e53a52ad7d105d6ccd71dbb4d76 /configure.ac | |
parent | 7d7106f4e62daf77b8ef616a013ea70ebeb24ac0 (diff) |
give warning at configure-time about unsupported language bindings, and don't advertise them in help listing for --enable-language-bindings
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 682f0de7c..4595227a4 100644 --- a/configure.ac +++ b/configure.ac @@ -1287,6 +1287,14 @@ ${licensewarn}Now just type make, followed by make check or make install, as you EOF +if test -n "$CVC4_UNSUPPORTED_LANGUAGE_BINDINGS"; then + AC_MSG_WARN([]) + AC_MSG_WARN([You are electing to build unsupported language binding(s): $CVC4_UNSUPPORTED_LANGUAGE_BINDINGS]) + AC_MSG_WARN([Please be aware that these bindings may not compile, or work, and the interface to CVC4 via]) + AC_MSG_WARN([these bindings may change drastically in upcoming releases of CVC4.]) + AC_MSG_WARN([]) +fi + if test -n "$CVC4_INTEGRITY_WARNING"; then AC_MSG_WARN([]) AC_MSG_WARN($CVC4_INTEGRITY_WARNING) |