diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-11-16 14:19:16 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-11-16 14:19:16 +0000 |
| commit | ebba5e92588a500a7384f7337968758386db7888 (patch) | |
| tree | 6a24e20b557e7359c1b10db24aa7cf48a9578974 /config/bindings.m4 | |
| parent | f55dfd4df98fbecbd0ef0f86da79d537457109d6 (diff) | |
Fix "make dist". Fixes to python and ruby bindings; ruby example written. They should both work out of the box, now, with swig 2.0.4 at least. "make install" likely still needs to be adjusted to install them sensibly.
Diffstat (limited to 'config/bindings.m4')
| -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]) |