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 <[email protected]> Sent: Thursday, January 19, 2023 12:56 PM To: Tim Meehan <[email protected]>; [email protected] 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 <[email protected]> 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&data=05%7C01%7CTim.Meehan%40grayanalytics.c > om%7C02f3576f77744f7032e708dafa4edb0f%7C0932a7697e6f40a98297c05af696b8 > 56%7C0%7C0%7C638097513854068046%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLj > AwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&s > data=kO3MPjPfZ%2B3xaDBts5wG6Rv1%2BlbxEihRmdSxb8MVYNI%3D&reserved=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
