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 | |
parent | 801c0224576168c776ff2b6422c1909d8cd045dc (diff) | |
download | yosys-4a3e1ded1e2dfd3d9a836aaed793978ddff6161b.tar.gz yosys-4a3e1ded1e2dfd3d9a836aaed793978ddff6161b.tar.bz2 yosys-4a3e1ded1e2dfd3d9a836aaed793978ddff6161b.zip |
Updated verific build instructions
-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 0a2204753..d6952820e 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 |