diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2021-07-09 09:02:27 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-07-09 09:02:27 +0200 |
| commit | 7a5ac909858c22f2daf2f7ca63869c554dc3b9b5 (patch) | |
| tree | 4c5e9c90348c05c9a508eb2922fdfdb4b367654a /Makefile | |
| parent | 4446cfa524cf06e84add450214f64b2de6e199c3 (diff) | |
| download | yosys-7a5ac909858c22f2daf2f7ca63869c554dc3b9b5.tar.gz yosys-7a5ac909858c22f2daf2f7ca63869c554dc3b9b5.tar.bz2 yosys-7a5ac909858c22f2daf2f7ca63869c554dc3b9b5.zip | |
Update to latest Verific with extensions for initial assertions
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -498,7 +498,7 @@ endif ifeq ($(ENABLE_VERIFIC),1) 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 extensions CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -DYOSYS_ENABLE_VERIFIC ifeq ($(OS), Darwin) LDLIBS += $(patsubst %,$(VERIFIC_DIR)/%/*-mac.a,$(VERIFIC_COMPONENTS)) -lz |