diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-11-08 11:38:44 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-11-08 11:38:44 +0100 |
| commit | acf010d30d650aef500952d5de4ea5ec939d78a0 (patch) | |
| tree | 867eafbcaeaf02b480226c7ad1b4f9340d1a8b93 /frontends/verific/build_amd64.txt | |
| parent | b9f2127f5d5a78bab74f511a71b6a369065a0383 (diff) | |
Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions
Diffstat (limited to 'frontends/verific/build_amd64.txt')
| -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 |