From d8100bbfd17d79dfc2db3c274d83f03a4c8575c4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jannis=20Sch=C3=B6nleber?= <joennlae@gmail.com>
Date: Thu, 16 Feb 2023 22:51:21 +0100
Subject: [PATCH] ci: update `slang` check

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 1f212067..cd871358 100644
--- a/Makefile
+++ b/Makefile
@@ -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
\ No newline at end of file