Skip to content

Commit

Permalink
bender: fix ibex Bender.yml
Browse files Browse the repository at this point in the history
make: fix spelling
  • Loading branch information
phsauter committed Sep 6, 2024
1 parent 29b987e commit ec02c62
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 5 deletions.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@ verilator: verilator/croc.f $(SW)
####################
TOP_DESIGN ?= croc_chip
DUT_DESIGN ?= croc_soc
BENDER_TARGERS ?= asic ihp13 rtl synthesis verilator
BENDER_TARGETS ?= asic ihp13 rtl synthesis verilator
MORTY_DEFINES ?= VERILATOR SYNTHESIS MORTY TARGET_ASIC TARGET_SYNTHESIS
PICKLE_OUT ?= $(PROJ_DIR)/pickle

Expand Down
4 changes: 2 additions & 2 deletions rtl/ibex/Bender.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ sources:

- target: not(all(any(test, ibex_include_tracer), not(ibex_exclude_tracer)))
include_dirs:
- rtl
- ./
- lowrisc_prim

files:
Expand Down Expand Up @@ -50,7 +50,7 @@ sources:
# formal interface so the tracer module works (`define RVFI).
- target: all(any(test, ibex_include_tracer), not(ibex_exclude_tracer))
include_dirs:
- rtl
- ./
- lowrisc_prim
defines:
RVFI: true
Expand Down
6 changes: 4 additions & 2 deletions rtl/patches/ibex/0001-adjust-Bender-source-paths.patch
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,9 @@ index 57d62e2b..59c3a6f3 100644

- target: not(all(any(test, ibex_include_tracer), not(ibex_exclude_tracer)))
include_dirs:
- rtl
- - rtl
- - vendor/lowrisc_ip/ip/prim/rtl
+ - ./
+ - lowrisc_prim

files:
Expand Down Expand Up @@ -82,8 +83,9 @@ index 57d62e2b..59c3a6f3 100644
# formal interface so the tracer module works (`define RVFI).
- target: all(any(test, ibex_include_tracer), not(ibex_exclude_tracer))
include_dirs:
- rtl
- - rtl
- - vendor/lowrisc_ip/ip/prim/rtl
+ - ./
+ - lowrisc_prim
defines:
RVFI: true
Expand Down

0 comments on commit ec02c62

Please sign in to comment.