diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 14:05:12 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:17 -0700 |
| commit | 13ae5fef303a54da6d9e2a30b23c3209c0a20d45 (patch) | |
| tree | 2e3e35e94be98a4a0777abd83f9c70034820d5a8 /autoconf | |
| parent | 4444e21e7926ca079583f14a51cca0bf5e01b711 (diff) | |
| download | klee-13ae5fef303a54da6d9e2a30b23c3209c0a20d45.tar.gz | |
Add support for getting memory usage on Darwin.
Diffstat (limited to 'autoconf')
| -rw-r--r-- | autoconf/configure.ac | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index f1b2dfc3..c6e59d97 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -498,9 +498,11 @@ AC_CHECK_HEADERS([selinux/selinux.h], dnl ************************************************************************** dnl Test for features dnl ************************************************************************** + +AC_CHECK_HEADERS([malloc/malloc.h]) +AC_CHECK_FUNCS([malloc_zone_statistics]) AC_SEARCH_LIBS(mallinfo,malloc, - AC_DEFINE([HAVE_MALLINFO],[1],[Define if mallinfo() is available on this platform.]), - AC_MSG_WARN([mallinfo() was not found - disabling memory usage checking])) + AC_DEFINE([HAVE_MALLINFO],[1],[Define if mallinfo() is available on this platform.])) dnl ************************************************************************** dnl Find an install of STP |