mirror of
https://github.com/openhwgroup/cvw.git
synced 2025-06-28 01:32:49 -04:00
Cleanup lint script
This commit is contained in:
parent
49d780daa2
commit
0c9587c9fe
1 changed files with 6 additions and 7 deletions
|
@ -3,10 +3,9 @@
|
||||||
# The verilator lint tool is faster and better than Questa so it is best to run this first.
|
# The verilator lint tool is faster and better than Questa so it is best to run this first.
|
||||||
# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
|
# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
|
||||||
|
|
||||||
export PATH=$PATH:/usr/local/bin/
|
verilator=$(which verilator)
|
||||||
verilator=`which verilator`
|
|
||||||
|
|
||||||
basepath=$(dirname $0)/..
|
basepath=$(dirname "$0")/..
|
||||||
RED='\033[0;31m'
|
RED='\033[0;31m'
|
||||||
GREEN='\033[0;32m'
|
GREEN='\033[0;32m'
|
||||||
NC='\033[0m' # No Color
|
NC='\033[0m' # No Color
|
||||||
|
@ -14,7 +13,7 @@ fails=0
|
||||||
|
|
||||||
if [ "$1" == "--nightly" ]; then
|
if [ "$1" == "--nightly" ]; then
|
||||||
configs=(rv32e rv64gc rv32gc rv32imc rv32i rv64i)
|
configs=(rv32e rv64gc rv32gc rv32imc rv32i rv64i)
|
||||||
derivconfigs=`ls $WALLY/config/deriv`
|
derivconfigs=$(ls "$WALLY"/config/deriv)
|
||||||
for entry in $derivconfigs
|
for entry in $derivconfigs
|
||||||
do
|
do
|
||||||
if [[ $entry != *"syn_sram"* ]]; then # ignore syn_sram* configs that contain undefined module
|
if [[ $entry != *"syn_sram"* ]]; then # ignore syn_sram* configs that contain undefined module
|
||||||
|
@ -43,10 +42,10 @@ for config in ${configs[@]}; do
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
if [ $fails -gt 0 ]; then
|
if [ $fails -gt 0 ]; then
|
||||||
echo -e "${RED}Linting failed for $fails of ${#configs[@]} configurations"
|
echo -e "${RED}Linting failed for $fails of ${#configs[@]} configurations${NC}"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
echo -e "${GREEN}All ${#configs[@]} lints run with no errors or warnings"
|
echo -e "${GREEN}All ${#configs[@]} lints run with no errors or warnings${NC}"
|
||||||
|
|
||||||
# --lint-only just runs lint rather than trying to compile and simulate
|
# --lint-only just runs lint rather than trying to compile and simulate
|
||||||
# -I points to the include directory where files such as `include config.vh are found
|
# -I points to the include directory where files such as `include config.vh are found
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue