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)"