Thanks Jed!
I ran:
make clean
./configure --prefix=/opt/petsc
make all check
sudo make install
It then worked like you said, so thanks!
-Original Message-
From: Jed Brown
Sent: Thursday, January 19, 2023 12:56 PM
To: Tim Meehan ; petsc-users@mcs.anl.gov
Subject: Re: [petsc-users] locally deploy PETSc
Caution: This email originated from outside of the organization. Do not click
links or open attachments unless you recognize the sender and know the content
is safe.
You're probably looking for ./configure --prefix=/opt/petsc. It's documented in
./configure --help.
Tim Meehan 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://nam10.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl
> ab.com%2Fpetsc%2Fpetsc.git=05%7C01%7CTim.Meehan%40grayanalytics.c
> om%7C02f3576f77744f7032e708dafa4edb0f%7C0932a7697e6f40a98297c05af696b8
> 56%7C0%7C0%7C638097513854068046%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLj
> AwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C
> data=kO3MPjPfZ%2B3xaDBts5wG6Rv1%2BlbxEihRmdSxb8MVYNI%3D=0
> 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