Skip to content

Commit

Permalink
ci: update slang check
Browse files Browse the repository at this point in the history
  • Loading branch information
joennlae committed Feb 16, 2023
1 parent 4df62be commit f065a18
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -146,10 +146,10 @@ $(BUILD_DIR)/cheshire_top.pickle.sv: Bender.yml $(BUILD_DIR)
bender sources -f | morty -f /dev/stdin -q -o $@ --top cheshire_soc

$(BUILD_DIR)/cva6.pickle.sv: Bender.yml $(BUILD_DIR)
bender sources -f -d $(shell $(BENDER) path ariane) | morty -f /dev/stdin -q -o $@ --top cva6
bender sources -f -d $(shell $(BENDER) path ariane) -t cv64a6_imafdc_sv39 | morty -f /dev/stdin -o $@

pickle: $(BUILD_DIR)/cva6.pickle.sv

slang-check: pickle
slang $(BUILD_DIR)/cva6.pickle.sv --error-limit=4419 || true
slang $(BUILD_DIR)/cva6.pickle.sv -Wrange-width-oob
# remove true if pipeline is fixed but now have true to pass github actions

0 comments on commit f065a18

Please sign in to comment.