aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2021-10-27 15:55:43 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2021-10-27 15:55:43 +0200
commit32673edfeae7878a902883575d6b369a5ed8b0a5 (patch)
treeac44b0ad0235b5969dbbb5e55e3597a647377327 /Makefile
parent8d881826ebeafa524b1ed5e12ebbedb6d6b2a867 (diff)
downloadyosys-32673edfeae7878a902883575d6b369a5ed8b0a5.tar.gz
yosys-32673edfeae7878a902883575d6b369a5ed8b0a5.tar.bz2
yosys-32673edfeae7878a902883575d6b369a5ed8b0a5.zip
Revert "Compile option for enabling async load verific support"
This reverts commit b8624ad2aef941776f5b4a08f66f8d43e70f8467.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index c919c9563..f72106750 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,6 @@ ENABLE_GHDL := 0
ENABLE_VERIFIC := 0
DISABLE_VERIFIC_EXTENSIONS := 0
DISABLE_VERIFIC_VHDL := 0
-ENABLE_VERIFIC_ASYNC_LOAD := 0
ENABLE_COVER := 1
ENABLE_LIBYOSYS := 0
ENABLE_PROTOBUF := 0
@@ -502,9 +501,6 @@ endif
ifeq ($(ENABLE_VERIFIC),1)
VERIFIC_DIR ?= /usr/local/src/verific_lib
VERIFIC_COMPONENTS ?= verilog database util containers hier_tree
-ifeq ($(ENABLE_VERIFIC_ASYNC_LOAD),1)
-CXXFLAGS += -DVERIFIC_ASYNC_LOAD
-endif
ifneq ($(DISABLE_VERIFIC_VHDL),1)
VERIFIC_COMPONENTS += vhdl
CXXFLAGS += -DVERIFIC_VHDL_SUPPORT