#!/bin/bash

set -e

. script_env
setup_vivado

( cd vivado ; vivado -mode batch -source nonproject.tcl )

cp -a vivado/output/puzzlefw_top.bit .