summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorMorgan Deters <mdeters@gmail.com>2011-09-16 20:53:36 +0000
committerMorgan Deters <mdeters@gmail.com>2011-09-16 20:53:36 +0000
commit604201dc96acc33f23a677d20cdcaa32352b510b (patch)
tree3095cd662c352f3fc59c8ca4b8b73911fe8a31ec /config
parent91e745e02684416186f4ea4e33cf8e42194cd7c9 (diff)
new, improved doxygen config file
Diffstat (limited to 'config')
-rw-r--r--config/doxygen.cfg18
1 files changed, 11 insertions, 7 deletions
diff --git a/config/doxygen.cfg b/config/doxygen.cfg
index 6787ea7f9..2ddd1d609 100644
--- 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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback