Oh, but the outer problem is that you should not ask ICT to pre-install Firedrake for you. In constrained environments -- when management does not give researchers root access to install things on their machines --, ICT should rather be asked to install the system dependencies of Firedrake. On macOS, this means homebrew, and the following homebrew packages: - gcc - openmpi or mpich - python3 - autoconf - automake - cmake - libtool - mercurial Then you can install Firedrake yourself, passing --no-package-manager to the install script. ________________________________ From: firedrake-bounces@imperial.ac.uk <firedrake-bounces@imperial.ac.uk> on behalf of Onno Bokhove <O.Bokhove@leeds.ac.uk> Sent: 14 November 2017 16:15:36 To: firedrake; Tim Hainsworth Subject: [firedrake] Fw: REQTSK0145114 - IT request - Install software - Firedrake (Mac) Hi, Can the firedrake install script be modified to use a different version of lbspatialindex ? Given the error meesage below. Some files from the gtest are missing. It can build by hand but that requires an modification with every update. Best wishes, Onno & Tim ________________________________ From: IT Service Desk <leeds@service-now.com> Sent: Tuesday, November 14, 2017 11:38 AM To: Onno Bokhove Subject: REQTSK0145114 - IT request - Install software - Firedrake (Mac) Dear Onno, The firedake-install script fails to complete as there appears to be an error in the configuration of the libspatialindex code which the script doesn't handle: libspatialindex/test/gtest/gtest-1.7.0:config.status:1140: error: cannot find input file: Makefile.in gtest doesn't appear to be used as libspatialindex compiles without it (outside of the firedrake-install script). Is there a way to get the firedake-install script to use a different version of libspatialindex rather than downloading the head from the git repository every time. Regards, Tim. IT Service Desk University of Leeds t: 0113 343 3333 [http://leedsdev.service-now.com/twitter.pngx]@ITServicesUoL<https://twitter.com/ITServicesUoL> For support and online information please visit: http://it.leeds.ac.uk<http://it.leeds.ac.uk/> We welcome any feedback about our service. Just visit https://leeds.onlinesurveys.ac.uk/it-service-desk-feedback Ref:MSG1606355