From da1f0e9e8479741487a59ad68198262c3730081e Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 21 Oct 2011 04:25:19 +0000
Subject: add gcc version information to Configuration, and warn when building
 with v4.5.1 which has a buggy optimizer (resolves bug #266)

---
 config/gcc_version.m4 | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 config/gcc_version.m4

(limited to 'config')

diff --git a/config/gcc_version.m4 b/config/gcc_version.m4
new file mode 100644
index 000000000..acd051042
--- /dev/null
+++ b/config/gcc_version.m4
@@ -0,0 +1,7 @@
+# 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
-- 
cgit v1.2.3