Thanks for your reply! It has clarified many things I was unsure about.
On 8/21/23 19:54, Satish Balay wrote:
What are the contents of the /usr/lib/petsc directory in destdir for? This directory has two subrirectories: bin and conf. Why is the bin/ directory in lib/? lib/ should be for libraries.balay@p1 /home/balay $ find /usr/lib -name bin /usr/lib/debug/bin /usr/lib/debug/usr/bin /usr/lib/jvm/java-1.8.0-openjdk-1.8.0.372.b07-6.fc38.x86_64/jre/bin /usr/lib/jvm/java-17-openjdk-17.0.8.0.7-1.fc38.x86_64/bin /usr/lib/jvm/java-11-openjdk-11.0.20.0.8-1.fc38.x86_64/bin balay@p1 /home/balay $ find /usr/lib64 -name bin /usr/lib64/qt5/bin /usr/lib64/R/bin
I see.
The /usr/lib/petsc/conf directory seems to be related to the build process. Is that correct?These have makefiles that can be included from user/application makefiles - to get compile/link working seamlessly.
Thanks for the feedback. I would have removed this directory otherwise.
/usr/share/petsc looks like it contains additional info useful to the developers, therefore it should be in a -devel subpackage.I see that the docs directory contains .buildinfo. Does this directory contain additional build artifacts (that should be removed)?I guess some of these files should be excluded from tarball.
It might be just this file alone. But I'm not familiar with the documentation generator software you're using so I have asked just to be
sure.
OpenPGP_0x1A14CB3464CBE5BF.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
