projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 17269ae)
Forgot to remove from main list
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 20 Oct 2021 10:37:22 +0000 (12:37 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 20 Oct 2021 10:37:22 +0000 (12:37 +0200)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index 8c291ec7c743855c9725b03d9fcaf5f9675612f0..4140c16f9389e91b5bf15b6055d7653079d3a5f5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -500,7 +500,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 database util containers hier_tree
 ifneq ($(DISABLE_VERIFIC_VHDL),1)
 VERIFIC_COMPONENTS += vhdl
 CXXFLAGS += -DVERIFIC_VHDL_SUPPORT