Hi Anthony,
On 16 Jan 2019, at 12:29, Webster, Anthony <anthony.webster15@imperial.ac.uk> wrote:
Hello Prof. Mitchell,
(That's definitely more title than I have!)
I am on clustor2 so I shouldn't have a quota, that was the reason I moved from clustor1 to clustor2 in the first place.
The installation is in the home directory (the default directory when I log in).
OK, so we need to try and figure out more details of what failed. Since the "pip install" of petsc blows away the configure.log that will provide us with relevant information, we'll need to do some debugging manually. The (failed) installation will have left a firedrake/src/petsc directory around. So can you please: cd firedrake/src/petsc and run: ./configure --prefix=/home/clustor2/ma/a/aw3315/firedrake/src/firedrake/scripts/firedrake/lib/python3.5/site-packages/petsc --PETSC_ARCH=arch-python-linux-x86_64 --with-shared-libraries=1 --with-debugging=0 --with-c2html=0 --with-cc=mpicc --with-cxx=mpicxx --with-fc=mpif90 --download-eigen=/home/clustor2/ma/a/aw3315/firedrake/src/firedrake/scripts/firedrake/src/eigen-3.3.3.tgz --with-fortran-bindings=0 --download-chaco --download-metis --download-parmetis --download-scalapack --download-hypre --download-mumps --with-zlib --download-netcdf --download-hdf5 --download-pnetcdf --download-exodusii This should fail in the same way, and when it does, please post the resulting configure.log Thanks, Lawrence