From: Anton Farygin <rider@basealt.ru>
To: devel@lists.altlinux.org
Subject: Re: [devel] exception for ocaml .cmxs files
Date: Wed, 30 Dec 2020 13:14:46 +0300
Message-ID: <0f23162d-459d-d1e6-ab35-f44d3a593d6a@basealt.ru> (raw)
In-Reply-To: <20201229145536.GA7219@altlinux.org>
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
файлов ?
next prev parent reply other threads:[~2020-12-30 10:14 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-28 12:39 [devel] Ограничения сборочницы для virtualbox-6.1.14 и выше Valery Sinelnikov
2020-12-28 12:57 ` Dmitry V. Levin
2020-12-28 13:50 ` Anton V. Boyarshinov
2020-12-28 14:00 ` Антон Мидюков
2020-12-28 14:14 ` Anton V. Boyarshinov
2020-12-28 14:11 ` Dmitry V. Levin
2020-12-28 14:24 ` Anton V. Boyarshinov
2020-12-28 14:30 ` Dmitry V. Levin
2020-12-28 14:36 ` Anton V. Boyarshinov
2020-12-28 14:42 ` Dmitry V. Levin
2020-12-28 14:51 ` Anton V. Boyarshinov
2020-12-28 15:01 ` Dmitry V. Levin
2020-12-28 20:39 ` Alexey V. Vissarionov
2020-12-29 11:07 ` Ivan A. Melnikov
2020-12-29 12:28 ` Alexey V. Vissarionov
2020-12-29 8:19 ` Anton V. Boyarshinov
2020-12-28 14:52 ` Dmitry V. Levin
2020-12-28 14:59 ` Anton V. Boyarshinov
2020-12-28 15:02 ` Anton V. Boyarshinov
2020-12-28 15:07 ` Dmitry V. Levin
2020-12-28 20:41 ` Alexey V. Vissarionov
2020-12-28 15:05 ` Dmitry V. Levin
2020-12-29 8:21 ` Anton V. Boyarshinov
2020-12-28 14:57 ` Dmitry V. Levin
2020-12-28 15:01 ` Anton V. Boyarshinov
2020-12-28 15:38 ` Andrey Savchenko
2020-12-28 17:13 ` Dmitry V. Levin
2020-12-28 18:09 ` Evgeny Sinelnikov
2020-12-28 18:15 ` Dmitry V. Levin
2020-12-28 18:40 ` Evgeny Sinelnikov
2020-12-28 19:30 ` Dmitry V. Levin
2020-12-28 22:23 ` Dmitry V. Levin
2020-12-29 4:23 ` Alexey V. Vissarionov
2020-12-29 7:21 ` Anton Farygin
2020-12-29 8:51 ` Dmitry V. Levin
2020-12-29 9:25 ` Alexey V. Vissarionov
2020-12-29 10:34 ` Dmitry V. Levin
2020-12-29 9:55 ` Anton Farygin
2020-12-29 14:55 ` [devel] exception for ocaml .cmxs files Dmitry V. Levin
2020-12-30 10:14 ` Anton Farygin [this message]
2020-12-28 20:30 ` [devel] Ограничения сборочницы для virtualbox-6.1.14 и выше Alexey V. Vissarionov
2020-12-29 8:18 ` Anton V. Boyarshinov
2020-12-29 8:31 ` Alexey V. Vissarionov
2020-12-29 10:02 ` Andrey Savchenko
2020-12-29 8:16 ` Anton V. Boyarshinov
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0f23162d-459d-d1e6-ab35-f44d3a593d6a@basealt.ru \
--to=rider@basealt.ru \
--cc=devel@lists.altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Team development discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
public-inbox-index devel
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.devel
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git