From d514291efafeef479b819af3f905f339c85086fb Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 16 Nov 2011 00:48:42 +0000 Subject: * Applying Andy's fix for datatypes bug #286; thanks for the quick work, Andy! * Also some better configure script wording --- config/bindings.m4 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'config/bindings.m4') diff --git a/config/bindings.m4 b/config/bindings.m4 index 416a338da..5306c8c77 100644 --- a/config/bindings.m4 +++ b/config/bindings.m4 @@ -143,9 +143,9 @@ else esac if test "$binding_error" = yes; then if test "$cvc4_check_for_bindings" = no; then - AC_MSG_ERROR([Language binding \`$binding' requested by user, but it cannot be built.]) + AC_MSG_ERROR([Language binding \`$binding' requested by user, but it cannot be built (the preceding few lines should give an indication why this is).]) else - AC_MSG_WARN([Language binding \`$binding' cannot be built.]) + AC_MSG_WARN([Language binding \`$binding' cannot be built (the preceding few lines should give an indication why this is).]) fi else CVC4_LANGUAGE_BINDINGS="${CVC4_LANGUAGE_BINDINGS:+$CVC4_LANGUAGE_BINDINGS }$binding" -- cgit v1.2.3