Vivado 2020.1 fails to see PYNQ-ZU board file when called from hls4ml

[jacopoabramo]

I'm currently testing a development branch for the VivadoAccelerator backend with version 2020.1 of Vivado for the PYNQ-ZU target board. I'm using the deployment tutorial in the hls4ml-tutorial repositories. The model is being generated with no problem (there are some inconsistencies with the new versions of hls4ml and the tutorial notebooks which I'll try to describe in more detail once I finish the testing of this board), but when it comes to synthesize and generate the bitstream for the PYNQ-ZU board it keeps failing with the error:

ERROR: [Board 49-71] The board_part definition was not found for tul.com.tw:pynqzu:part0:1.1. The project's board_part property was not set, but the project's part property was set to xczu5eg-sfvc784-1-e. Valid board_part values can be retrieved with the 'get_board_parts' Tcl command. Check if board.repoPaths parameter is set and the board_part is installed from the tcl app store.

So I tried the approach of manually installing the board files from the Xilinx hub store into Vivado and from the tcl console I can see the PYNQ-ZU is recognized as an available board.

Whenever I launch vivado from hls4ml with the build API though, it keeps popping up that error.

Has this problem occurred with the PYNQ-Z2 board?

EDIT: the line which fails and generates this error is this

[jacopoabramo]

Ok, after a bit of digging apparently it's a problem of Vivado when it runs in batch mode and it doesn't properly load the board files. I don't know exactly if this is due to the fact that I have two separate Vivado installations in my WSL, but it may be. In the end I added a Vivado_init.tcl script and manually set the paths to the board file repositories.