[Trilinos-Users] updating debian package for trilinos

[trophime]

Hi
I would like to update debian package for trilinos.
I manage to package trilinos up to version 10.8.5 with slight changes
from the original debian package.

With latest version I have a problem.
The trilinos libraries in debian are renamed libtrilinos_XXX.so
As the build process has significantly change I can no longer apply
the patch to rename the libraries. Could you give some hints how to 
easily change the name by adding an optional variable for instance to
globally change the names?

Thanks for your help
Best regards
C.