config/gcc_version.m4

   1 # GCC version 4.5.1 builds Minisat incorrectly with -O2
   2 # and that gives incorrect answers!  Warn the user!
   3 AC_DEFUN([CVC4_GCC_VERSION], [
   4   if expr "$($CC -dumpversion)" : '4\.5\.1' &>/dev/null; then
   5     CVC4_INTEGRITY_WARNING="GCC 4.5.1's optimizer is known to make errors building Minisat (and by extension CVC4)"
   6   fi
   7 ])# CVC4_GCC_VERSION