# GCC version 4.5.1 builds Minisat incorrectly with -O2
# and that gives incorrect answers! Warn the user!
AC_DEFUN([CVC4_GCC_VERSION], [
if expr "$($CC -dumpversion)" : '4\.5\.1' &>/dev/null; then
CVC4_INTEGRITY_WARNING="GCC 4.5.1's optimizer is known to make errors building Minisat (and by extension CVC4)"
fi
])# CVC4_GCC_VERSION
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback