diff options
| author | Dan Liew <delcypher@gmail.com> | 2014-04-24 14:14:22 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2014-04-24 14:14:22 +0100 |
| commit | 9dd4766a3f58070501ed6498e6aa42c14776cc0f (patch) | |
| tree | 01cfa9cf86783c002368e43197d92ca8b27f3925 /autoconf | |
| parent | 169b4eed5b29427611c7d4211de5c1ab16adb3cb (diff) | |
| parent | 016120fd8a8a2cac8457b66b6d2a41e0b5093889 (diff) | |
| download | klee-9dd4766a3f58070501ed6498e6aa42c14776cc0f.tar.gz | |
Merge pull request #116 from MartinNowack/fix_malloc
Fix handling of memory usage in KLEE.
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 ************************************************************************** |