commit 559aa9fce027dbe716a09c21acb4b8303aebc8b0
author Cindy Chen <chencindy@google.com> Tue Oct 27 14:40:26 2020 -0700
committer cindychip <cindy.chen0316@gmail.com> Wed Oct 28 09:34:05 2020 -0700
tree 727bfe7536aa6911569729dc714d7be775b0cdb5
parent dec077131038c032cd6b9fd4d7dd08b156d5a8a4

[fpv] fix pattgen fusesoc formal compile error

This target_formal picks formal_files that is undefined. This causes a
fusesoc error while compile formal.
Comment it out until formal is defined.

Signed-off-by: Cindy Chen <chencindy@google.com>

hw/ip/pattgen/pattgen.core

diff --git a/hw/ip/pattgen/pattgen.core b/hw/ip/pattgen/pattgen.core
index b826727..ddb55c7 100644
--- a/hw/ip/pattgen/pattgen.core
+++ b/hw/ip/pattgen/pattgen.core
@@ -61,7 +61,8 @@
       - tool_verilator   ? (files_verilator_waiver)
       - tool_ascentlint  ? (files_ascentlint_waiver)
       - tool_veriblelint ? (files_veriblelint_waiver)
-      - target_formal    ? (files_formal)
+#     files_formal yet undefined
+#     - target_formal    ? (files_formal)
       - files_rtl
     toplevel: pattgen