source vivado in container for aws sdk setup

Author: jimfangx

.github/scripts/firesim-manager-entrypoint.sh

@@ -11,6 +11,21 @@ PUBLIC_KEY_PATH="${FIRESIM_PUBLIC_KEY_PATH:-/root/firesim-public}"
 EC2_SETUP_SCRIPT="${FIRESIM_EC2_SETUP_SCRIPT:-${CY_DIR}/scripts/firesim-ec2-setup.sh}"
 BUILD_RECIPES="${FIRESIM_BUILD_RECIPES:-${CY_DIR}/sims/firesim-staging/sample_config_build_recipes.yaml}"
 BUILD_CONFIG="${FIRESIM_BUILD_CONFIG:-${CY_DIR}/.github/firesim-bitstream-templates/f2/config_build.yaml}"
+VIVADO_VERSION="${VIVADO_VERSION:-}"
+
+if [ -n "${VIVADO_VERSION}" ]; then
+  VIVADO_PATH="/opt/Xilinx/${VIVADO_VERSION}/Vivado/settings64.sh"
+else
+  VIVADO_PATH="$(find /opt/Xilinx -path '*/Vivado/settings64.sh' -type f 2>/dev/null | sort -V | tail -n 1)"
+fi
+
+if [ ! -f "${VIVADO_PATH}" ]; then
+  echo "Missing Vivado settings script. Set VIVADO_VERSION or mount /opt/Xilinx into the container." >&2
+  exit 1
+fi
+
+# shellcheck disable=SC1090
+source "${VIVADO_PATH}"
 
 if [ ! -s "${PUBLIC_KEY_PATH}" ]; then
   echo "Missing public key mounted at ${PUBLIC_KEY_PATH}." >&2

.github/scripts/launch-firesim-manager.sh

@@ -493,6 +493,7 @@ docker_args=(
   -v "${HOME}/firesim.pem:/root/firesim.pem:ro"
   -v "${HOME}/firesim-public:/root/firesim-public:ro"
   -v "${HOME}/firesim-manager-entrypoint.sh:/root/firesim-manager-entrypoint.sh:ro"
+  -v "/opt/Xilinx:/opt/Xilinx:ro"
 )
 
 if [ "${DETACH_CONTAINER}" = "1" ]; then