The make convention would be to respond to `libdir`, which is probably the simplest if we can defer that choice until install time. It probably needs to be known at build time, thus should go in configure.
https://www.gnu.org/software/make/manual/html_node/Directory-Variables.html Satish Balay via petsc-users <petsc-users@mcs.anl.gov> writes: > For now - perhaps the following patch... > > Satish > > --- > > diff --git a/config/install.py b/config/install.py > index 017bb736542..00f857f939e 100755 > --- a/config/install.py > +++ b/config/install.py > @@ -76,9 +76,9 @@ class Installer(script.Script): > self.archBinDir = os.path.join(self.rootDir, self.arch, 'bin') > self.archLibDir = os.path.join(self.rootDir, self.arch, 'lib') > self.destIncludeDir = os.path.join(self.destDir, 'include') > - self.destConfDir = os.path.join(self.destDir, 'lib','petsc','conf') > - self.destLibDir = os.path.join(self.destDir, 'lib') > - self.destBinDir = os.path.join(self.destDir, 'lib','petsc','bin') > + self.destConfDir = os.path.join(self.destDir, > 'lib64','petsc','conf') > + self.destLibDir = os.path.join(self.destDir, 'lib64') > + self.destBinDir = os.path.join(self.destDir, > 'lib64','petsc','bin') > self.installIncludeDir = os.path.join(self.installDir, 'include') > self.installBinDir = os.path.join(self.installDir, > 'lib','petsc','bin') > self.rootShareDir = os.path.join(self.rootDir, 'share') > > On Thu, 5 Jan 2023, Fellype via petsc-users wrote: > >> Hi, >> I'm building petsc from sources on a 64-bit Slackware Linux and I would like >> to know how to install the libraries in /usr/lib64 instead of /usr/lib. Is >> it possible? I've not found an option like --libdir=DIR to pass to >> ./configure. >> >> Regards, >> Fellype