summaryrefslogtreecommitdiff
path: root/frontends
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-11-08 11:38:44 +0100
committerClifford Wolf <clifford@clifford.at>2014-11-08 11:38:44 +0100
commitacf010d30d650aef500952d5de4ea5ec939d78a0 (patch)
tree867eafbcaeaf02b480226c7ad1b4f9340d1a8b93 /frontends
parentb9f2127f5d5a78bab74f511a71b6a369065a0383 (diff)
Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions
Diffstat (limited to 'frontends')
-rw-r--r--frontends/verific/build_amd64.txt1
1 files changed, 1 insertions, 0 deletions
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