I’m trying to create an SD image for the ZCU102 board, but the MAKE process fails because it can’t download isl-0.20.tar.xz from http://isl.gforge.inria.fr .
I had a look and this server is indeed unavailable. I found a mirror here: http://mirror.sobukus.de/files/src/isl/isl-0.20.tar.gz but as the config file is being generated or Imported during the MAKE run, modifying CT_ISL_MIRRORS in sdbuild/build/gcc-mb is futile.
I’m using 2020.1 Xilinx tools with PYNQ 2.6
I’m going to attach the log in a comment as I’m limited to 2 links due to being a new member