From 946a06cddbe4d451ee187a2080548c985f75b77f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 27 Oct 2012 00:56:27 -0700
Subject: [PATCH] fixed configure.ac, now fails if gcc is not installed

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 configure.ac | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index 73deedc73..c3a5563e8 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,4 +1,6 @@
 AC_INIT([z3], [4.2])
+AC_CONFIG_SRCDIR(src/util/util.cpp)
+AC_PREFIX_DEFAULT(/usr)
 
 ###################
 #
@@ -80,7 +82,12 @@ fi
 #
 ###################
 # Sets CXX
-AC_PROG_CXX(g++)
+AC_LANG([C++])
+AC_PROG_CXX(g++ false)
+AC_PROG_CC
+if test $CXX = "false"; then
+   AC_MSG_ERROR([C++ compiler was not found])
+fi
 
 AC_PROG_MAKE_SET