diff options
| author | Arjen Roodselaar <arjen@fb.com> | 2018-11-07 23:18:47 -0800 |
|---|---|---|
| committer | Arjen Roodselaar <arjen@fb.com> | 2018-11-07 23:18:47 -0800 |
| commit | 4e846694f76d48f77b44a109d8ed478c8071ebd6 (patch) | |
| tree | 72a6af7346eaaecfbb3fcd0c9ae541e9a632036a | |
| parent | 825b4c1aa9ae5abe7484f056cc14d973bcaae378 (diff) | |
| download | yosys-4e846694f76d48f77b44a109d8ed478c8071ebd6.tar.gz yosys-4e846694f76d48f77b44a109d8ed478c8071ebd6.tar.bz2 yosys-4e846694f76d48f77b44a109d8ed478c8071ebd6.zip | |
Use appropriate static libraries when building with Verific on MacOS
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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) |