
if [ $# -ne 1 -o ! -d "$1" ]; then
	echo "Usage: $0 <design>" >&2
	exit 1
fi

set -ex
design=${1%/}

YOSYS_COARSE=false
YOSYS_GLOBRST=false
YOSYS_SPLITNETS=false
TOP="" # must be set in settings.sh
RTL="" # must be set in settings.sh
SIM="" # must be set in settings.sh
source $design/sim/settings.sh

rtl_files=""
for src in $RTL; do
	rtl_files="$rtl_files $design/rtl/$src"
done

sim_files=""
for src in $SIM; do
	sim_files="$sim_files $design/sim/$src"
done