#!/bin/bash

export XILINX_VIVADO=$VIVADO_PATH
export SHELL=/bin/bash
export FINN_ROOT=/workspace/finn

# source Vivado env.vars
source $VIVADO_PATH/settings64.sh

exec "$@"