Public bug reported:
Apparently, the distributed cma and cmxa for this ocaml library refers (at least) in Ubuntu Wily to an obsolete C library named libt1 : # strings /usr/lib/ocaml/lablgtkmathview/lablgtkmathview.cma | grep lt1 $-lt1 # strings /usr/lib/ocaml/lablgtkmathview/lablgtkmathview.cmxa | grep lt1 $-lt1 Since this libt1 library isn't available anymore on the system, the compilation of even a simple demo program using lablgtkmathview is currently failing on wily : + ocamlfind ocamlopt -linkpkg -package lablgtk2 -package lablgtkmathview gui.cmx -o gui.native /usr/bin/ld: cannot find -lt1 collect2: error: ld returned 1 exit status See attachement for the source of this little demo (needs packages lablgtkmathview-dev and ocaml-findlib). FYI, the version of lablgtkmathview in Debian jessie doesn't suffer from this issue, and I managed to obtain working packages for Ubuntu Wily by rebuilding them via dpkg-buildpackage inside a wily chroot via the current wily .dsc file : https://launchpad.net/ubuntu/+archive/primary/+files/lablgtkmathview_0.7.8-6build3.dsc So maybe something went wrong during the build of the binary packages for Wily ? Best regards, Pierre Letouzey Summary: 1) Version of Ubuntu : 15.10 (wily) 2) Version of liblablgtkmathview-ocaml : 0.7.8-6build3 3) What you expect to happen : # strings /usr/lib/ocaml/lablgtkmathview/lablgtkmathview.cma | grep -c lt1 0 4) What happened instead : # strings /usr/lib/ocaml/lablgtkmathview/lablgtkmathview.cma | grep -c lt1 1 ** Affects: lablgtkmathview (Ubuntu) Importance: Undecided Status: New ** Attachment added: "Little demo program using lablgtkmathview" https://bugs.launchpad.net/bugs/1522584/+attachment/4529220/+files/mathview-demo.tgz -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1522584 Title: lablgtkmathview.cm(x)a wrongly refers to -lt1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/lablgtkmathview/+bug/1522584/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs