From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 27 Feb 2018 11:15:42 +0000 (+0100)
Subject: Add -lz for verific builds
X-Git-Tag: yosys-0.8~199
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6f26695d9b596fe3b221334a93c5d94678582aea;p=yosys.git

Add -lz for verific builds

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/Makefile b/Makefile
index 546de91e1..dab388f76 100644
--- a/Makefile
+++ b/Makefile
@@ -281,7 +281,7 @@ ifeq ($(ENABLE_VERIFIC),1)
 VERIFIC_DIR ?= /usr/local/src/verific_lib_eval
 VERIFIC_COMPONENTS ?= verilog vhdl database util containers sdf
 CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -DYOSYS_ENABLE_VERIFIC
-LDLIBS += $(patsubst %,$(VERIFIC_DIR)/%/*-linux.a,$(VERIFIC_COMPONENTS))
+LDLIBS += $(patsubst %,$(VERIFIC_DIR)/%/*-linux.a,$(VERIFIC_COMPONENTS)) -lz
 endif
 
 ifeq ($(ENABLE_COVER),1)