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 /include | |
| 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 'include')
| -rw-r--r-- | include/klee/Config/config.h.in | 3 |
1 files changed, 3 insertions, 0 deletions
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 |