[devel] exception for ocaml .cmxs files

[Anton Farygin]

On 29.12.2020 17:55, Dmitry V. Levin wrote:
> On Tue, Dec 29, 2020 at 12:55:03PM +0300, Anton Farygin wrote:
> [...]
>> Тоже такие себе эльфы, я бы их исключал из проверок:
>>
>> $ file /usr/lib64/ocaml/biniou/biniou.cmxs
>> /usr/lib64/ocaml/biniou/biniou.cmxs: ELF 64-bit LSB shared object,
>> x86-64, version 1 (SYSV), dynamically linked, stripped
>>
>> Build a plugin (usually .cmxs) that can be dynamically loaded with the
>> Dynlink module. The name of the plugin must be set with the -o option. A
>> plugin can include a number of OCaml modules and libraries, and extra
>> native objects (.o, .obj, .a, .lib files)
> Они тоже никогда не предоставляют символы для обычных эльфов?
>
>
Ну из описания же понятно что они предоставляют символы для программ 
ocaml, использующих модуль dynlink. Это уже конечно. бывают,  обычные 
elf'ы, но я не уверен что механизм работы с символами похож на то, для 
чего делался обсуждаемый инструмент проверки замыкаемости по символам.


а  у тебя же есть данные по символам, которые требуются и провайдятся ? 
Можешь проверить моё предположение  - нужны ли кому-то символы из cmxs 
файлов ?