From d344b98751232ea79a22c6907175154f3fc9889d Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 24 Apr 2014 11:30:34 +0100
Subject: Have configure check for presense of mallinfo for the newly added
 klee::util::GetTotalMemoryUsage()

---
 include/klee/Config/config.h.in | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'include')

diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in
index 3f6da802..5e49e35d 100644
--- a/include/klee/Config/config.h.in
+++ b/include/klee/Config/config.h.in
@@ -12,6 +12,9 @@
 /* Define to 1 if you have the `stp' library (-lstp). */
 #undef HAVE_LIBSTP
 
+/* Define if mallinfo() is available on this platform. */
+#undef HAVE_MALLINFO
+
 /* Define to 1 if you have the <memory.h> header file. */
 #undef HAVE_MEMORY_H
 
-- 
cgit 1.4.1