diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-04-24 11:30:34 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-24 13:51:41 +0200 |
| commit | d344b98751232ea79a22c6907175154f3fc9889d (patch) | |
| tree | 6b8309dc56e22a81274154d132320559900d8376 /autoconf | |
| parent | 45ec4161781755dedc926341f98da2b8fa33695a (diff) | |
| download | klee-d344b98751232ea79a22c6907175154f3fc9889d.tar.gz | |
Have configure check for presense of mallinfo for the newly added
klee::util::GetTotalMemoryUsage()
Diffstat (limited to 'autoconf')
| -rw-r--r-- | autoconf/configure.ac | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 7d4ff994..c1b1d2b8 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -496,6 +496,14 @@ AC_CHECK_HEADERS([selinux/selinux.h], AC_SUBST(HAVE_SELINUX, 0)) dnl ************************************************************************** +dnl Test for features +dnl ************************************************************************** +AC_SEARCH_LIBS(mallinfo,malloc, + AC_DEFINE([HAVE_MALLINFO],[1],[Define if mallinfo() is available on this platform.]), + AC_MSG_ERROR([mallinfo() must be supported by your malloc implementation]) + ) + +dnl ************************************************************************** dnl Find an install of STP dnl ************************************************************************** |