Gateware build error: couldn't read file "build_gw.tcl": no such file or directory

Hi!

I am starting working with DI/OT, I was trying to launch a make all to generate the Vivado project, but I'm getting this error:

$ XILINX_TOOLS=~/vivado-install-and-bins make all
mkdir -v -p /mnt/sshfs/diot/boot-image/gateware/build_dir
docker run -w /mnt/sshfs/diot/boot-image/gateware -v /home/vnappi:/home/vnappi -v /etc/passwd:/etc/passwd:ro -v /etc/shadow:/etc/shadow:ro -v /home/vnappi/vivado-install-and-bins:/home/vnappi/vivado-install-and-bins:ro --privileged --net=host -u $(id -u):$(id -g) -t gitlab-registry.cern.ch/be-cem-edl/diot/docker-util/xilinx_tools:latest /bin/bash -c 'source /home/vnappi/vivado-install-and-bins/Vivado/2022.2/settings64.sh && vivado -source build_gw.tcl -mode batch -nolog -nojournal -notrace -tclargs projects/diot_v2 /mnt/sshfs/diot/boot-image/gateware/build_dir bitstream'

****** Vivado v2022.2 (64-bit)
  **** SW Build 3671981 on Fri Oct 14 04:59:54 MDT 2022
  **** IP Build 3669848 on Fri Oct 14 08:30:02 MDT 2022
    ** Copyright 1986-2022 Xilinx, Inc. All Rights Reserved.

source build_gw.tcl -notrace
couldn't read file "build_gw.tcl": no such file or directory
INFO: [Common 17-206] Exiting Vivado at Mon Mar 25 16:14:50 2024...
make: *** [Makefile:47: generate] Error 1

Of coure, build_gw.tcl is there. I am setting the XILINX_TOOLS env variable because my install directory is not the default one.

If I run the command on my machine: /bin/bash -c 'source /home/vnappi/vivado-install-and-bins/Vivado/2022.2/settings64.sh && vivado -source build_gw.tcl -mode batch -nolog -nojournal -notrace -tclargs projects/diot_v2 /mnt/sshfs/diot/boot-image/gateware/build_dir bitstream', it does run correctly