On 31 Jul 2017, at 14:07, Anna Kalogirou <A.Kalogirou@leeds.ac.uk> wrote:
I also have an issue with libspatialindex. Any ideas?
2017-07-31 13:49:27,832 DEBUG ssh: Could not resolve hostname github.com: nodename nor servname provided, or not known fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists. 2017-07-31 13:49:27,833 WARNING Failed to clone libspatialindex using ssh, falling back to https. 2017-07-31 13:49:57,912 DEBUG fatal: unable to access 'https://github.com/firedrakeproject/libspatialindex.git/': Could not resolve host: github.com 2017-07-31 13:49:57,913 ERROR Failed to clone libspatialindex branch master. 2017-07-31 13:49:57,926 INFO It looks like your internet connection or DNS fell over. Cloning the libspatialindex repository failed. Lawrence