From a93f5c8ddfb59dc767edbcad6a2af6c9792bca35 Mon Sep 17 00:00:00 2001
From: Michael Rogenmoser <michael@rogenmoser.us>
Date: Mon, 9 Nov 2020 12:21:44 +0100
Subject: [PATCH] Update Bender.yml with RVFI define

---
 Bender.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Bender.yml b/Bender.yml
index 05b3996d1f..335b33babd 100644
--- a/Bender.yml
+++ b/Bender.yml
@@ -1,6 +1,5 @@
 package: 
   name: ibex
-  authors: []
 
 sources:
   - include_dirs:
@@ -27,14 +26,15 @@ sources:
       - rtl/ibex_core.sv
       - shared/rtl/prim_assert.sv
   - target: rtl
+    defines: {RVFI: true}
     files:
       - rtl/ibex_pkg.sv
       - rtl/ibex_tracer_pkg.sv
       - rtl/ibex_tracer.sv
       - rtl/ibex_core_tracing.sv
-  - target: all(rtl, tsmc55, gf22)
+  - target: any(rtl, tsmc55, gf22)
     files: 
       - rtl/ibex_register_file_latch.sv
-  - target: all(xilinx)
+  - target: xilinx
     files:
       - rtl/ibex_register_file_fpga.sv