diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-02-02 19:50:17 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-02-02 19:50:17 +0100 |
| commit | 4a3e1ded1e2dfd3d9a836aaed793978ddff6161b (patch) | |
| tree | 6fef1fffed971be33d2a77255a038e552b920633 /frontends/verific | |
| parent | 801c0224576168c776ff2b6422c1909d8cd045dc (diff) | |
Updated verific build instructions
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/build_amd64.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt index 0a220475..d6952820 100644 --- a/frontends/verific/build_amd64.txt +++ b/frontends/verific/build_amd64.txt @@ -8,8 +8,6 @@ only have the i386 eval version of Verific: --snip-- CONFIG := clang ENABLE_TCL := 0 -ENABLE_QT4 := 0 -ENABLE_ABC := 0 ENABLE_PLUGINS := 0 ENABLE_VERIFIC := 1 CXXFLAGS += -m32 |