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 <[email protected]> _________________________________________________________________ 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) _________________________________________________________________ -- debian-science-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
