new, improved doxygen config file

diff --git a/config/doxygen.cfg b/config/doxygen.cfg
index 6787ea7f9c9aa6030c78767292bbffaa50824fe5..2ddd1d60914430b48c56ae1f8f27d79238bd8e4f 100644 (file)
--- a/config/doxygen.cfg
+++ b/config/doxygen.cfg
@@ -568,7 +568,8 @@ WARN_LOGFILE           =
 # directories like "/usr/src/myproject". Separate the files or directories
 # with spaces.
 
-INPUT                  = $(SRCDIR)/src
+INPUT                  = $(SRCDIR)/src \
+                        $(BUILDDIR)/src
 
 # This tag can be used to specify the character encoding of the source files
 # that doxygen parses. Internally doxygen uses the UTF-8 encoding, which is
@@ -597,7 +598,7 @@ RECURSIVE              = YES
 # excluded from the INPUT source files. This way you can easily exclude a
 # subdirectory from a directory tree whose root is specified with the INPUT tag.
 
-EXCLUDE                = 
+EXCLUDE                =
 
 # The EXCLUDE_SYMLINKS tag can be used select whether or not files or
 # directories that are symbolic links (a Unix filesystem feature) are excluded
@@ -611,7 +612,9 @@ EXCLUDE_SYMLINKS       = NO
 # against the file with absolute path, so to exclude all test directories
 # for example use the pattern */test/*
 
-EXCLUDE_PATTERNS       = */generated/*
+EXCLUDE_PATTERNS       = */generated/* \
+                        *_template.cpp \
+                        *_template.h
 
 # The EXCLUDE_SYMBOLS tag can be used to specify one or more symbol names
 # (namespaces, classes, functions, etc.) that should be excluded from the
@@ -1257,16 +1260,17 @@ INCLUDE_FILE_PATTERNS  =
 # undefined via #undef or recursively expanded use the := operator
 # instead of the = operator.
 
-PREDEFINED             = _DOXYGEN
+PREDEFINED             = _DOXYGEN \
+                        "CVC4_THREADLOCAL(x)=x" \
+                        "CVC4_PUBLIC=" \
+                        "CVC4_THERADLOCAL_PUBLIC(x)=x"
 
 # If the MACRO_EXPANSION and EXPAND_ONLY_PREDEF tags are set to YES then
 # this tag can be used to specify a list of macro names that should be expanded.
 # The macro definition that is found in the sources will be used.
 # Use the PREDEFINED tag if you want to use a different macro definition.
 
-EXPAND_AS_DEFINED      = EASY_TYPE \
-                         EASY_DESTRUCTOR \
-                         EASY_METHOD
+EXPAND_AS_DEFINED      = 
 
 # If the SKIP_FUNCTION_MACROS tag is set to YES (the default) then
 # doxygen's preprocessor will remove all function-like macros that are alone