From f191b4690b0e8858f907d892dc3224905872cf48 Mon Sep 17 00:00:00 2001
From: Michael Rogenmoser <michael@rogenmoser.us>
Date: Wed, 25 Nov 2020 16:08:49 +0100
Subject: [PATCH] Update Bender.yml to produce core trace

(double declaration of files pending https://github.com/fabianschuiki/bender/issues/40)
---
 Bender.yml | 27 +++++++++++++++++++++++++--
 1 file changed, 25 insertions(+), 2 deletions(-)

diff --git a/Bender.yml b/Bender.yml
index 335b33babd..93b63505ad 100644
--- a/Bender.yml
+++ b/Bender.yml
@@ -2,7 +2,8 @@ package:
   name: ibex
 
 sources:
-  - include_dirs:
+  - target: not(rtl)
+    include_dirs:
       - rtl
       - shared/rtl
     files:
@@ -26,12 +27,34 @@ sources:
       - rtl/ibex_core.sv
       - shared/rtl/prim_assert.sv
   - target: rtl
-    defines: {RVFI: true}
+    include_dirs:
+      - rtl
+      - shared/rtl
+    defines: 
+      RVFI: true
     files:
       - rtl/ibex_pkg.sv
       - rtl/ibex_tracer_pkg.sv
       - rtl/ibex_tracer.sv
       - rtl/ibex_core_tracing.sv
+      - rtl/ibex_alu.sv
+      - rtl/ibex_compressed_decoder.sv
+      - rtl/ibex_controller.sv
+      - rtl/ibex_cs_registers.sv
+      - rtl/ibex_counters.sv
+      - rtl/ibex_decoder.sv
+      - rtl/ibex_ex_block.sv
+      - rtl/ibex_id_stage.sv
+      - rtl/ibex_if_stage.sv
+      - rtl/ibex_wb_stage.sv
+      - rtl/ibex_load_store_unit.sv
+      - rtl/ibex_multdiv_slow.sv
+      - rtl/ibex_multdiv_fast.sv
+      - rtl/ibex_prefetch_buffer.sv
+      - rtl/ibex_fetch_fifo.sv
+      - rtl/ibex_pmp.sv
+      - rtl/ibex_core.sv
+      - shared/rtl/prim_assert.sv
   - target: any(rtl, tsmc55, gf22)
     files: 
       - rtl/ibex_register_file_latch.sv