From: Arjen Roodselaar <arjen@fb.com>
Date: Thu, 8 Nov 2018 07:18:47 +0000 (-0800)
Subject: Use appropriate static libraries when building with Verific on MacOS
X-Git-Tag: yosys-0.9~412^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4e846694f76d48f77b44a109d8ed478c8071ebd6;p=yosys.git

Use appropriate static libraries when building with Verific on MacOS
---

diff --git a/Makefile b/Makefile
index fd708b7de..cb9880754 100644
--- a/Makefile
+++ b/Makefile
@@ -359,8 +359,12 @@ ifeq ($(ENABLE_VERIFIC),1)
 VERIFIC_DIR ?= /usr/local/src/verific_lib_eval
 VERIFIC_COMPONENTS ?= verilog vhdl database util containers sdf hier_tree
 CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -DYOSYS_ENABLE_VERIFIC
+ifeq ($(OS), Darwin)
+LDLIBS += $(patsubst %,$(VERIFIC_DIR)/%/*-mac.a,$(VERIFIC_COMPONENTS)) -lz
+else
 LDLIBS += $(patsubst %,$(VERIFIC_DIR)/%/*-linux.a,$(VERIFIC_COMPONENTS)) -lz
 endif
+endif
 
 ifeq ($(ENABLE_PROTOBUF),1)
 LDLIBS += $(shell pkg-config --cflags --libs protobuf)