Error During Creation of PYNQ SD Related to gcc-mb build

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

1 Like

Here is the log file from sdbuild/build/gcc-mb/build.log (attached as a file due to links limitation). The relevant log starts from line 1667 of the file.build.log (96.3 KB)

Managed to solve it by manually downloading and placing isl-0.20.tar.gz and isl-0.20.tar.xz from http://mirror.sobukus.de/files/src/isl/ to PYNQ/sdbuild/gcc-mb/.build/tarballs

Hope it will help someone in the future

4 Likes