From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 7 Feb 2012 22:13:12 +0000 (+0000)
Subject: re-adding comment about available languages
X-Git-Tag: cvc5-1.0.0~8341
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d4727aa4f9efb41a2a1db699f477e643426a0740;p=cvc5.git

re-adding comment about available languages
---

diff --git a/configure.ac b/configure.ac
index 4a8d19433..729544391 100644
--- 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])