Thanks Lawrence, the second installation attempt worked. Best, Anna.
On 31 Jul 2017, at 15:17, Lawrence Mitchell <lawrence.mitchell@imperial.ac.uk> wrote:
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 _______________________________________________ firedrake mailing list firedrake@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/firedrake