set SRC_XSA_FILE [lindex $argv 0]
set HW_WORK_DIR hw
set WORK_XSA_FILE $HW_WORK_DIR/hw.xsa

exec mkdir "$HW_WORK_DIR"
exec cp "$SRC_XSA_FILE" "$WORK_XSA_FILE"

openhw "$WORK_XSA_FILE"