#!/bin/bash set -e . script_env setup_vivado ( cd vivado mkdir -p output stdbuf -oL vivado -mode batch -source nonproject.tcl | tee output/build_log.txt ) cp -a vivado/output/puzzlefw_top.bit .