Re: [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  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

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

[Satish Balay via petsc-users]

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

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

[Fellype via petsc-users]

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