diff options
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/build_amd64.txt | 1 |
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 |