| #!/bin/bash | |
| OPTIND=1 | |
| seed="" # default to no seed specified | |
| while getopts "S:" opt | |
| do | |
| case "$opt" in | |
| S) arg="${OPTARG#"${OPTARG%%[![:space:]]*}"}" # remove leading space | |
| seed="SEED=$arg" ;; | |
| esac | |
| done | |
| shift "$((OPTIND-1))" | |
| # check for Icarus Verilog | |
| if ! command -v iverilog > /dev/null ; then | |
| echo "$0: Error: Icarus Verilog 'iverilog' not found." | |
| exit 1 | |
| fi | |
| shopt -s nullglob | |
| exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.{sv,v} |