ci: update slang check

pulp-platform · Feb 16, 2023 · d8100bb · d8100bb
1 parent 9718c13
commit d8100bb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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