diff options
Diffstat (limited to 'config/gcc_version.m4')
-rw-r--r-- | config/gcc_version.m4 | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/config/gcc_version.m4 b/config/gcc_version.m4 deleted file mode 100644 index acd051042..000000000 --- a/config/gcc_version.m4 +++ /dev/null @@ -1,7 +0,0 @@ -# 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 |