Just to follow up: after fixing the mess in my openmpi environment
(replacing the links to the shared libraries that were missing even if
registered in the package manager) I was able to recompile the petsc
packages from source with just a plain "fakeroot debian/rules binary".
I installed them, they appear to work, at least with my home-developed
software.
Therefore, unless I overlooked something important, it should be trivial for
you to just bump the package version and trigger a recompile.
Best regards
Giacomo
--
_________________________________________________________________
Giacomo Mulas <gmu...@oa-cagliari.inaf.it>
_________________________________________________________________
INAF - Osservatorio Astronomico di Cagliari
via della scienza 5 - 09047 Selargius (CA)
tel. +39 070 71180244
mob. : +39 329 6603810
_________________________________________________________________
"When the storms are raging around you, stay right where you are"
(Freddy Mercury)
_________________________________________________________________
