Merge from my post-smtcomp branch. Includes:

Dumping infrastructure.  Can dump preprocessed queries and clauses.  Can
also dump queries (for testing with another solver) to see if any conflicts
are missed, T-propagations are missed, all lemmas are T-valid, etc.  For a
full list of options see --dump=help.

CUDD building much cleaner.

Documentation and assertion fixes.

Printer improvements, printing of commands in language-defined way, etc.

Typechecker stuff in expr package now autogenerated, no need to manually
edit the expr package when adding a new theory.

CVC3 compatibility layer (builds as libcompat).

SWIG detection and language binding support (infrastructure).

Support for some Z3 extended commands (like datatypes) in SMT-LIBv2 mode
(when not in compliance mode).

Copyright and file headers regenerated.

1 files changed, 4 insertions, 3 deletions

diff --git a/config/mkbuilddir b/config/mkbuilddir
index ddec67023..87cd3460e 100755
--- a/config/mkbuilddir
+++ b/config/mkbuilddir
@@ -21,23 +21,24 @@ fi
 target=$1
 build_type=$2
 
+: ${as_me:=mkbuilddir}
 : ${as_echo:=echo}
 : ${RM:=rm -f}
 : ${MKDIR_P:=mkdir -p}
 : ${LN_S:=ln -s}
 
-$as_echo "Setting up builds/$target/$build_type..."
+$as_echo "$as_me: Setting up builds/$target/$build_type..."
 $RM config.log config.status confdefs.h builds/Makefile
 $MKDIR_P "builds/$target/$build_type"
 $LN_S "$target/$build_type/Makefile.builds" builds/Makefile
 
-$as_echo "Creating builds/current..."
+$as_echo "$as_me: Creating builds/current..."
 (echo "# This is the most-recently-configured CVC4 build"; \
  echo "# 'make' in the top-level source directory applies to this build"; \
  echo "CURRENT_BUILD = $target/$build_type") > builds/current
 
 for dir in src test; do
-  $as_echo "Linking builds/$dir..."
+  $as_echo "$as_me: Linking builds/$dir..."
   $RM "builds/$dir"
   $LN_S "$target/$build_type/$dir" "builds/$dir"
 done