Florian Weimer wrote:
> Interesting.  Could you provide an example of such a dynamically linked
> binary?

OCaml is interesting in that it does not use standard ELF .so files, but its 
own dynamic linking mechanism (those .cma files).

This is a typical OCaml library (the ocaml-facile constraint satisfaction 
problem solver):
https://koji.fedoraproject.org/koji/rpminfo?rpmID=27058403
You see that it has both Provides and Requires, and a -devel package:
https://koji.fedoraproject.org/koji/rpminfo?rpmID=27058407

(I know that library because Kalzium, the KDE periodic table of elements 
application, depends on it. However, Kalzium is in C++ and actually 
statically links ocaml-facile and the OCaml runtime.)

The OCaml compiler itself is also dynamically linked:
https://koji.fedoraproject.org/koji/rpminfo?rpmID=27059751

For details, better ask Richard W.M. Jones.

        Kevin Kofler


_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct: 
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
Do not reply to spam on the list, report it: 
https://pagure.io/fedora-infrastructure

Reply via email to