summaryrefslogtreecommitdiff
path: root/otherlibs/dynlink/dynlink_common.ml
Commit message (Expand)AuthorAgeFilesLines
* Improve legibility of dynamic linking error messagesSamuel Hym2023-04-281-24/+19
* review: commentsoctachron2022-02-251-1/+4
* review: more explicit lock interfaceFlorian Angeletti2022-02-251-39/+60
* Dynlink: use a global lockoctachron2022-02-251-54/+48
* otherlibs: dynlink is not allowed to run when the calling domain is not the m...Enguerrand Decorne2021-12-071-0/+13
* Remove expensive debug assertion from dynlink (#10184)Leo White2021-02-161-10/+0
* Dynlink.*_unit functions: make sure they call the internal init ().Daniel Bünzli2020-07-231-0/+3
* Improve the packing mechanism used to build Dynlink (#2268)Mark Shinwell2019-03-191-6/+5
* Remove support for compiler plugins (#2276)Mark Shinwell2019-03-131-0/+2
* Dynlink: run _shared_startup only once per pluginNicolás Ojeda Bär2019-03-071-0/+1
* Fix new dynlink's initialisation checks (#2176)Leo White2018-12-081-55/+53
* fix dune build following natdynlink modifications (#2154)Thomas Refis2018-11-201-3/+6
* Make (nat)dynlink soundMark Shinwell2018-11-121-0/+358