[Bug 1881132] Re: libopenmpi-dev requires reinstall after upgrade to 20.04

[Launchpad Bug Tracker]

Status changed to 'Confirmed' because the bug affects multiple users.

** Changed in: ubuntu-release-upgrader (Ubuntu)
       Status: New => Confirmed

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to ubuntu-release-upgrader in
Ubuntu.
https://bugs.launchpad.net/bugs/1881132

Title:
  libopenmpi-dev requires reinstall after upgrade to 20.04

Status in ubuntu-release-upgrader package in Ubuntu:
  Confirmed

Bug description:
  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.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-release-upgrader/+bug/1881132/+subscriptions