diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-02-23 15:29:58 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-02-27 10:21:19 +0100 |
| commit | c813f1464ce8ad98d45a6a132499247251e15d96 (patch) | |
| tree | 2f25d008108cdb428eeb919b654b87283f1ff0d6 /tools | |
| parent | 66f53aac10962db150aec07b96f3b0a756eef28b (diff) | |
| download | klee-c813f1464ce8ad98d45a6a132499247251e15d96.tar.gz | |
Add support for tcmalloc
Beside improving performance of KLEE, tcmalloc allows to track used memory correctly. If available, tcmalloc is automatically used during compile time. This can be forced to be: - disabled using --without-tcmalloc - enabled using --with-tcmalloc In the second case, configure will fail if tcmalloc is not found or usable. Both versions of tcmalloc a minimal and normal version.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/kleaver/Makefile | 4 | ||||
| -rw-r--r-- | tools/klee/Makefile | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile index 08249444..1631dda6 100644 --- a/tools/kleaver/Makefile +++ b/tools/kleaver/Makefile @@ -28,3 +28,7 @@ ifneq ($(ENABLE_Z3),0) endif include $(PROJ_SRC_ROOT)/MetaSMT.mk + +ifeq ($(HAVE_TCMALLOC),1) + LIBS += $(TCMALLOC_LIB) +endif diff --git a/tools/klee/Makefile b/tools/klee/Makefile index e3364e77..676507e0 100644 --- a/tools/klee/Makefile +++ b/tools/klee/Makefile @@ -29,3 +29,7 @@ ifneq ($(ENABLE_Z3),0) endif include $(PROJ_SRC_ROOT)/MetaSMT.mk + +ifeq ($(HAVE_TCMALLOC),1) + LIBS += $(TCMALLOC_LIB) +endif |