diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-06 17:27:51 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-06 17:27:51 +0000 |
commit | 99cad5495be99efae434177d1537d4cfac35581c (patch) | |
tree | d96995c91bfcec7d4cd40d9aa6cedef5a19fa18f /configure.ac | |
parent | 8116fa6b55db64301ed89f1f174b95780449007f (diff) |
* Some documentation about building compatibility and language bindings
* Better errors/warnings when SWIG isn't installed (resolves bug 373)
* Allow compatibility bindings to be built when SWIG isn't available
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index e4805fd0c..5e4d3a371 100644 --- a/configure.ac +++ b/configure.ac @@ -1208,6 +1208,14 @@ if test -z "$CVC4_LANGUAGE_BINDINGS"; then CVC4_BINDINGS_LIBRARY_VERSION_or_nobuild="N/A" fi +bindings_to_be_built=none +if test -n "$CVC4_LANGUAGE_BINDINGS"; then + bindings_to_be_built="$CVC4_LANGUAGE_BINDINGS" + if test -z "$SWIG"; then + bindings_to_be_built="$bindings_to_be_built (for CVC3 compatibility layer only; SWIG not found)" + fi +fi + cat <<EOF CVC4 $VERSION @@ -1235,7 +1243,7 @@ Static libs : $enable_static Shared libs : $enable_shared Static binary: $enable_static_binary Compat lib : $CVC4_BUILD_LIBCOMPAT -Bindings : ${CVC4_LANGUAGE_BINDINGS:-none} +Bindings : $bindings_to_be_built Multithreaded: $support_multithreaded TLS support : $CVC4_TLS_explanation |