Re: [petsc-dev] Trying to get the CMake instructions to work, unsuccessfully