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

[Satish Balay]

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