re-adding comment about available languages

diff --git a/configure.ac b/configure.ac
index 4a8d194335fc621f1036f582112612b230f17b74..729544391ce655d1a166f080c13309b0b6b083cc 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -829,7 +829,7 @@ AC_LIB_ANTLR
 # build support.  The arg list is the default set if unspecified by
 # the user (the actual built set is the subset that appears to be
 # supported by the build host).
-CVC4_CHECK_BINDINGS([c java])
+CVC4_CHECK_BINDINGS([c java])dnl csharp perl php python ruby tcl ocaml])
 
 # Checks for header files.
 AC_CHECK_HEADERS([getopt.h unistd.h])