You're probably looking for ./configure --prefix=/opt/petsc. It's documented in ./configure --help.
Tim Meehan <tim.mee...@grayanalytics.com> writes: > Hi - I am trying to set up a local workstation for a few other developers who > need PETSc installed from the latest release. I figured that it would be > easiest for me to just clone the repository, as mentioned in the Quick Start. > > So, in /home/me/opt, I issued: > git clone -b release https://gitlab.com/petsc/petsc.git petsc > cd petsc > ./configure > make all check > > Things work fine, but I would like to install it in /opt/petsc, minus all of > the build derbris > > Is there some way to have './configure' do this? > (I was actually thinking that the configure script was from GNU autotools or > something - but obviously not) > > Cheers, > Tim