give warning at configure-time about unsupported language bindings, and don't adverti...

diff --git a/config/bindings.m4 b/config/bindings.m4
index b37a462433f0188ff65fc2066facb09ebdecc8eb..1c4c426951b6de77b69142ba1251c601dffa0ebc 100644 (file)
--- a/config/bindings.m4
+++ b/config/bindings.m4
@@ -2,6 +2,12 @@
 # -----------------------
 # Supported language bindings for CVC4.
 AC_DEFUN([CVC4_SUPPORTED_BINDINGS],
+[c,java])
+
+# CVC4_ALL_BINDINGS
+# -----------------
+# All language bindings for CVC4 (may include unofficial bindings).
+AC_DEFUN([CVC4_ALL_BINDINGS],
 [c,java,csharp,perl,php,python,ruby,tcl,ocaml])
 
 # CVC4_CHECK_BINDINGS(DEFAULT_BINDINGS_LIST)
@@ -12,7 +18,7 @@ AC_DEFUN([CVC4_CHECK_BINDINGS], [
 dnl Check for SWIG (for building language bindings)
 noswig=no
 
-m4_foreach(lang,[CVC4_SUPPORTED_BINDINGS],
+m4_foreach(lang,[CVC4_ALL_BINDINGS],
 [[cvc4_build_]]lang[[_bindings=no
 ]])
 
@@ -49,10 +55,19 @@ if test -z "$try_bindings"; then
 else
   AC_MSG_RESULT([$try_bindings])
 fi
+CVC4_UNSUPPORTED_LANGUAGE_BINDINGS=
 cvc4_save_CPPFLAGS="$CPPFLAGS"
 cvc4_save_CXXFLAGS="$CXXFLAGS"
 AC_LANG_PUSH([C++])
 for binding in $try_bindings; do
+  __cvc4_lang_supported=no
+  m4_foreach([__cvc4_supported_binding], [CVC4_SUPPORTED_BINDINGS],
+    [if test "$binding" = "__cvc4_supported_binding"; then __cvc4_lang_supported=yes; fi
+  ])dnl
+  if test $__cvc4_lang_supported = no; then
+    CVC4_UNSUPPORTED_LANGUAGE_BINDINGS="${CVC4_UNSUPPORTED_LANGUAGE_BINDINGS:+$CVC4_UNSUPPORTED_LANGUAGE_BINDINGS }$binding"
+  fi
+
   binding_error=no
   AC_MSG_CHECKING([for availability of $binding binding])
   case "$binding" in
@@ -167,7 +182,7 @@ done
 
 AM_CONDITIONAL([CVC4_HAS_SWIG], [test "$SWIG"])
 
-m4_foreach([lang], [CVC4_SUPPORTED_BINDINGS],
+m4_foreach([lang], [CVC4_ALL_BINDINGS],
 [AM_CONDITIONAL([CVC4_LANGUAGE_BINDING_]m4_toupper(lang), [test "$cvc4_build_]lang[_bindings" = yes])
 ])dnl
 

diff --git a/configure.ac b/configure.ac
index 682f0de7c6e9419dea75b02d0daa93f6fd863da8..4595227a434d882cba3f96e8adf50644a7cd40a2 100644 (file)
--- 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)