[petsc-users] locally deploy PETSc

[Jed Brown]

You're probably looking for ./configure --prefix=/opt/petsc. It's documented in ./configure --help. 

Tim Meehan <Tim.Meehan at 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