From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 4 Jan 2019 13:44:35 +0000 (+0100)
Subject: Update Verific default path
X-Git-Tag: yosys-0.9~345
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f5d23d4c7af33f73b1d9250e458b0932ff7a965b;p=yosys.git

Update Verific default path

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/Makefile b/Makefile
index 128539f6a..d83a71256 100644
--- a/Makefile
+++ b/Makefile
@@ -357,7 +357,7 @@ endif
 endif
 
 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
 CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -DYOSYS_ENABLE_VERIFIC
 ifeq ($(OS), Darwin)