diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-11-09 13:02:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-09 13:02:49 +0100 |
| commit | 43ee1f3f62a96d9b5a1a909d18c418af39ca520a (patch) | |
| tree | 7cb5609672f71a1d6195abfcf6345d5c893c14b6 /Makefile | |
| parent | 05d2e5d773cff71b668d7bb96a509ece835ebf6a (diff) | |
| parent | 4e846694f76d48f77b44a109d8ed478c8071ebd6 (diff) | |
| download | yosys-43ee1f3f62a96d9b5a1a909d18c418af39ca520a.tar.gz yosys-43ee1f3f62a96d9b5a1a909d18c418af39ca520a.tar.bz2 yosys-43ee1f3f62a96d9b5a1a909d18c418af39ca520a.zip | |
Merge pull request #696 from arjenroodselaar/verific_darwin
Use appropriate static libraries when building with Verific on MacOS
Diffstat (limited to 'Makefile')
| -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) |