diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-28 19:46:53 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-28 19:46:53 +0000 |
| commit | 2f15e89145ad68f1809dd15abb6b659a3817b260 (patch) | |
| tree | 3ebf28421e2d9d9dbb5b8c91c0ac1351081d8603 /config | |
| parent | 623e4c71b3ec579a5933b3c65dd1da67b007f6c9 (diff) | |
better fix for #281, also fix issue with command line options not existing on older g++en, like Apple's 4.2 on Snow Leopard.
Diffstat (limited to 'config')
| -rw-r--r-- | config/cvc4.m4 | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/config/cvc4.m4 b/config/cvc4.m4 index 1138a2c4e..b003884ed 100644 --- a/config/cvc4.m4 +++ b/config/cvc4.m4 @@ -86,3 +86,19 @@ AC_DEFUN([CVC4_CONFIG_FILE_ONLY_IF_CHANGED], [ AC_CONFIG_FILES([$1.tmp:$1.in], CVC4_COPY_IF_CHANGED([$1.tmp],[$1])) ])# CVC4_CONFIG_FILE_ONLY_IF_CHANGED + +# CVC4_CXX_OPTION(OPTION, VAR) +# ---------------------------- +# Run $(CXX) $(CPPFLAGS) $(CXXFLAGS) OPTION and see if the compiler +# likes it. If so, add OPTION to shellvar VAR. +AC_DEFUN([CVC4_CXX_OPTION], [ +AC_MSG_CHECKING([whether $CXX supports $1]) +cvc4_save_CXXFLAGS="$CXXFLAGS" +CXXFLAGS="$CXXFLAGS $1" +AC_LANG_PUSH([C++]) +AC_COMPILE_IFELSE([int main() { return 0; }], + [AC_MSG_RESULT([yes]); $2='$1'], + [AC_MSG_RESULT([no])]) +AC_LANG_POP([C++]) +CXXFLAGS="$cvc4_save_CXXFLAGS" +])# CVC4_CXX_OPTION |