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 cdab33e3e..8231411ed 100644 --- a/config/bindings.m4 +++ b/config/bindings.m4 @@ -58,7 +58,7 @@ else c++) AC_MSG_RESULT([C++ is built by default]);; java) JAVA_INCLUDES="-I/usr/lib/jvm/java-6-sun-1.6.0.26/include -I/usr/lib/jvm/java-6-sun-1.6.0.26/include/linux" - cvc4_build_java_binding=yes + cvc4_build_java_bindings=yes AC_MSG_RESULT([Java support will be built]);; csharp) binding_error=yes |