From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 8 Nov 2014 10:38:44 +0000 (+0100)
Subject: Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions
X-Git-Tag: yosys-0.4~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=acf010d30d650aef500952d5de4ea5ec939d78a0;p=yosys.git

Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions
---

diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt
index 94615d38d..9bb6e3203 100644
--- a/frontends/verific/build_amd64.txt
+++ b/frontends/verific/build_amd64.txt
@@ -10,6 +10,7 @@ CONFIG := clang
 ENABLE_TCL := 0
 ENABLE_QT4 := 0
 ENABLE_ABC := 0
+ENABLE_PLUGINS := 0
 ENABLE_VERIFIC := 1
 CXXFLAGS += -m32
 LDFLAGS += -m32