Install fenics from ppa on Ubuntu 20.04

Tue Nov 23 14:00:20 GMT 2021

Hi,

Don't know if this is a general problem.

Installed fenics with <apt get fenics>, and it fails because it cannot find /usr/lib/petsc/include/petscconf.h. This file is provided by libpetsc-real-dev, but it is provided by alternatives. So it isn't available until this package has been completely set up. So the install succeeds if this package is installed first. Can it be forced in the <fenics> package that this dependency is completely installed first?

Best regards,
Sebastian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20211123/09921c3a/attachment-0001.htm>