[petsc-users] locally deploy PETSc

[Tim Meehan]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-users/attachments/20230119/e97fa5d7/attachment.html>