about summary refs log tree commit diff homepage
path: root/tools/kleaver/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'tools/kleaver/Makefile')
-rw-r--r--tools/kleaver/Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile
index 1631dda6..a2250fe0 100644
--- a/tools/kleaver/Makefile
+++ b/tools/kleaver/Makefile
@@ -32,3 +32,7 @@ include $(PROJ_SRC_ROOT)/MetaSMT.mk
 ifeq ($(HAVE_TCMALLOC),1)
   LIBS += $(TCMALLOC_LIB)
 endif
+
+ifeq ($(HAVE_ZLIB),1)
+  LIBS += -lz
+endif