From acf010d30d650aef500952d5de4ea5ec939d78a0 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 8 Nov 2014 11:38:44 +0100
Subject: Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions

---
 frontends/verific/build_amd64.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'frontends/verific')

diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt
index 94615d38..9bb6e320 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
-- 
cgit v1.2.3