mirror of https://github.com/YosysHQ/yosys.git
Update Verific default path
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
parent
d98fe8ce1f
commit
f5d23d4c7a
2
Makefile
2
Makefile
|
@ -357,7 +357,7 @@ endif
|
||||||
endif
|
endif
|
||||||
|
|
||||||
ifeq ($(ENABLE_VERIFIC),1)
|
ifeq ($(ENABLE_VERIFIC),1)
|
||||||
VERIFIC_DIR ?= /usr/local/src/verific_lib_eval
|
VERIFIC_DIR ?= /usr/local/src/verific_lib
|
||||||
VERIFIC_COMPONENTS ?= verilog vhdl database util containers hier_tree
|
VERIFIC_COMPONENTS ?= verilog vhdl database util containers hier_tree
|
||||||
CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -DYOSYS_ENABLE_VERIFIC
|
CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -DYOSYS_ENABLE_VERIFIC
|
||||||
ifeq ($(OS), Darwin)
|
ifeq ($(OS), Darwin)
|
||||||
|
|
Loading…
Reference in New Issue