-/autom4te.cache
/stamp-h
-/config.h.in
-/config.log
-/config.status
-/config.cache
-/cvc4autoconfig.h.in
-/libtool
/stamp-h1
/cvc4-*.tar.gz
/cvc4-*.tar.bz2
-/builds/
+/build/
/doc/doxygen
-.dep
-Makefile.in
-/configure
-/aclocal.m4
callgrind.out*
gmon.out
stamp-generated
generated/
*~
\#*\#
-*.gcov
-/lcov/
-/config/compile
-.cvc4_config
-config.reconfig
*.swp
/debug/
-/personal.conf
-/personal.mk
/antlr-3.4