Script to build bitfile

fpga/01_build_bitfile.sh

@@ -0,0 +1,11 @@
+#!/bin/bash
+
+set -e
+
+. script_env
+setup_vivado
+
+( cd vivado ; vivado -mode batch -source nonproject.tcl )
+
+cp -a vivado/output/puzzlefw_top.bit .
+

fpga/script_env

@@ -0,0 +1,10 @@
+#
+# Common environment variables for FPGA scripts
+#
+
+VIVADO_DIR="/opt/Xilinx/Vivado/2020.2"
+
+setup_vivado() {
+    . "${VIVADO_DIR}/settings64.sh"
+}
+