From 00cdc62b7a8df39d13f734ecc77077e427912f64 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Fri, 8 Jul 2016 14:42:34 +0200 Subject: Support gzip-based compression of raw_outstreams Provide initial zlib-based compression support for raw_outstreams. Replacing llvm::raw_fd_outstreams with compressed_fd_outstreams automatically compresses data in gzip format before writing to file. Options added: * --compress-log to compress all query log files (e.g. *.pc, *.smt2) on the fly. Every query log file gets extended with .gz. * --debug-compress-instructions to compress logfile for instruction stream on the fly. --- tools/kleaver/Makefile | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'tools/kleaver') 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 -- cgit 1.4.1