Ubuntu
regina-normal package

  1. Bug #1801267
  2. Comment #0

Comment 0 for bug 1801267

Revision history for this message
Ben Burton (bab) wrote :

This is a bug in Ubuntu 18.04 LTS.

The application Regina (installed through the package regina-normal) will not start.

The problem seems to be that it is linked against the graphviz plugins, which moved location (thus the executable can no longer find the libraries that it links against). The fix is simply to rebuild regina-normal, with no changes needed to the source.

To reproduce:

- Install the package regina-normal;
- At a command line, type "regina-gui".

The application crashes with the message: "regina-gui: error while loading shared libraries: libgvplugin_core.so.6: cannot open shared object file: No such file or directory"

Rebuilding regina-normal against the current Ubuntu 18.04 LTS causes the executable to be linked correctly, and the problem is fixed.

This problem does *not* affect Ubuntu 18.10. It is only present in Ubuntu 18.04 LTS.

I would be grateful if someone could please rebuild regina-normal on 18.04 and upload this to bionic-updates, and/or include the rebuild in the next point release (I presume 18.04.2).

Thanks - Ben.