[petsc-users] How to install in /usr/lib64 instead of /usr/lib?

[Jed Brown]

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 at 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