From 5960bc6387df8ec89e3e98ae3867b0a3c025033b Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 11 Feb 2016 06:43:09 +0000
Subject: Handle Z3 API change between 4.4.1 and the current master branch for
 the ``Z3_get_error_msg()`` function.

---
 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 28eefcb6..66bf31cb 100644
--- a/include/klee/Config/config.h.in
+++ b/include/klee/Config/config.h.in
@@ -63,6 +63,9 @@
 /* Define to 1 if you have the <unistd.h> header file. */
 #undef HAVE_UNISTD_H
 
+/* Z3 needs a Z3_context passed to Z3_get_error_msg() */
+#undef HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT
+
 /* LLVM version is release (instead of development) */
 #undef LLVM_IS_RELEASE
 
-- 
cgit 1.4.1