diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-01-30 12:45:13 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-01-30 12:45:13 +0000 |
| commit | 9571c470e4df07fcc7cd22e32c4c4a50b680ccd6 (patch) | |
| tree | 260640eced1d718f8fa97fc5263c3d0377edcf72 | |
| parent | d3d6bcc80cb16c31e893d0a3c09b73e608c6e0e3 (diff) | |
| download | mpfr-9571c470e4df07fcc7cd22e32c4c4a50b680ccd6.tar.gz | |
[configure.ac] Updated comment about default options in CFLAGS for GCC.
(merged changeset r13423 from the trunk)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@13424 280ebfd0-de03-0410-8827-d642c229c3f4
| -rw-r--r-- | configure.ac | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index f4f682157..96e768998 100644 --- a/configure.ac +++ b/configure.ac @@ -457,8 +457,13 @@ error CFLAGS="-fp_port -mieee-fp -wd1572 -wd265 -wd186 -wd239 $CFLAGS" ],[AC_MSG_RESULT(no)]) -dnl If compiler is gcc, then use some specific flags. -dnl But don't touch user other flags. +dnl If CFLAGS has not been set explicitly and the compiler is GCC, then +dnl use some specific flags. But don't touch user other flags. +dnl Note: This is done even when CFLAGS has been set from GMP's CFLAGS +dnl (__GMP_CFLAGS macro in gmp.h) above. The consequence is that this +dnl might yield a compilation failure if the -Werror option appears in +dnl __GMP_CFLAGS. But in this case, since -Werror is not used by default, +dnl one may expect that the user would also set CFLAGS for MPFR. if test "$test_CFLAGS" != set && test -n "$GCC"; then CFLAGS="-Wpointer-arith $CFLAGS" AC_MSG_CHECKING(whether the selected language is C++) |