diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-29 16:08:45 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-29 16:08:45 -0400 |
commit | da9eec6aa0fc0f6c29f2c3fdb08bd45ba9c27808 (patch) | |
tree | dca1b2fb1d1c213a94d5b2902aed4a24895aae3f /config | |
parent | bc3db83a6856016c9c838fbabdd29f962aa60769 (diff) |
Fix numerous compiler warnings on various platforms
Diffstat (limited to 'config')
-rw-r--r-- | config/cvc4.m4 | 16 | ||||
-rw-r--r-- | config/doxygen.cfg | 2 |
2 files changed, 17 insertions, 1 deletions
diff --git a/config/cvc4.m4 b/config/cvc4.m4 index 0eca68c13..e75476e8e 100644 --- a/config/cvc4.m4 +++ b/config/cvc4.m4 @@ -102,3 +102,19 @@ AC_COMPILE_IFELSE([AC_LANG_SOURCE([int main() { return 0; }])], AC_LANG_POP([C++]) CXXFLAGS="$cvc4_save_CXXFLAGS" ])# CVC4_CXX_OPTION + +# CVC4_C_OPTION(OPTION, VAR) +# -------------------------- +# Run $(CC) $(CPPFLAGS) $(CFLAGS) OPTION and see if the compiler +# likes it. If so, add OPTION to shellvar VAR. +AC_DEFUN([CVC4_C_OPTION], [ +AC_MSG_CHECKING([whether $CC supports $1]) +cvc4_save_CFLAGS="$CFLAGS" +CFLAGS="$CFLAGS $C_WERROR $1" +AC_LANG_PUSH([C]) +AC_COMPILE_IFELSE([AC_LANG_SOURCE([int main() { return 0; }])], + [AC_MSG_RESULT([yes]); $2='$1'], + [AC_MSG_RESULT([no])]) +AC_LANG_POP([C]) +CFLAGS="$cvc4_save_CFLAGS" +])# CVC4_C_OPTION diff --git a/config/doxygen.cfg b/config/doxygen.cfg index f4713b616..f385fb94a 100644 --- a/config/doxygen.cfg +++ b/config/doxygen.cfg @@ -1247,7 +1247,7 @@ SEARCH_INCLUDES = YES # contain include files that are not input files but should be processed by # the preprocessor. -INCLUDE_PATH = . include $(SRCDIR)/src $(SRCDIR)/src/include +INCLUDE_PATH = . $(SRCDIR)/src $(SRCDIR)/src/include # You can use the INCLUDE_FILE_PATTERNS tag to specify one or more wildcard # patterns (like *.h and *.hpp) to filter out the header-files in the |