Public bug reported:
After the upgrade from 19.10 to 20.04:
The problem was that CMake could not find OpemMPI, although it was
installed.
Solution:
I had to reinstall libopenmpi-dev with
$ sudo apt-get install --reinstall openmpi-common openmpi-bin
libopenmpi3 libopenmpi-dev
and got following message:
Setting up libopenmpi-dev:amd64 (4.0.3-0ubuntu1) ...
update-alternatives: warning: forcing reinstallation of alternative
/usr/lib/x86_64-linux-gnu/openmpi/include because link group
mpi-x86_64-linux-gnu is broken
After that everything works as intended and CMake finds MPI. (with
find_package(MPI))
Since a colleague of mine had the same problem, I assume that this is
bug.
** Affects: ubuntu-release-upgrader (Ubuntu)
Importance: Undecided
Status: New
** Tags: cmake mpi openmpi
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1881132
Title:
libopenmpi-dev requires reinstall after upgrade to 20.04
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-release-upgrader/+bug/1881132/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
