#!/usr/bin/bash

THISSCRIPT=$(realpath $0)
PROJECT_ROOT=$(dirname $(dirname $THISSCRIPT))
TCLSCRIPT="$PROJECT_ROOT/tcl/program_device.tcl"

if [ $# -lt 1 ]; then
	echo "Usage: $0 BITFILE"
	exit -1
fi

BITFILE=$1

$VIVADO_ROOT/bin/vivado -mode batch -source "$TCLSCRIPT" -tclargs "$BITFILE"