diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/bindings.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/bindings.m4 b/config/bindings.m4 index 5306c8c77..61b93a8cb 100644 --- a/config/bindings.m4 +++ b/config/bindings.m4 @@ -105,7 +105,7 @@ else AC_MSG_RESULT([tcl support will be built]) AC_ARG_VAR(TCL_CPPFLAGS, [flags to pass to compiler when building tcl bindings]) CPPFLAGS="$CPPFLAGS $TCL_CPPFLAGS" - cvc4_build_tcl_bindings=yes + AC_CHECK_HEADER([tcl.h], [cvc4_build_tcl_bindings=yes], [binding_error=yes]) ;; ocaml) AC_MSG_RESULT([OCaml support will be built]) |