diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-13 17:34:31 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-13 17:34:31 +0100 |
| commit | 6a53bc7b271662dfc67f055917578ef8c1949fd6 (patch) | |
| tree | 7fbbb6381e8a9f3c7c7d35c64896a27809e4ba96 /Makefile | |
| parent | 34e54cda5b45fb96cd44597622c3cba00e410265 (diff) | |
Copy Verific vdbs files to Yosys "share" data directory
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -92,7 +92,7 @@ endif ifeq ($(ENABLE_VERIFIC),1) VERIFIC_DIR ?= /usr/local/src/verific_lib_eval VERIFIC_COMPONENTS ?= verilog vhdl database util containers -CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -D'VERIFIC_DIR="$(VERIFIC_DIR)"' +CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -DYOSYS_ENABLE_VERIFIC LDLIBS += $(patsubst %,$(VERIFIC_DIR)/%/*-linux.a,$(VERIFIC_COMPONENTS)) endif |