From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rider@basealt.ru>
To: devel@lists.altlinux.org
References: <20201228171344.GA26072@altlinux.org>
 <CAGvFrt1mJ9DEeqUAT0cZoSDr5GAsed-f6H5YNoyw2F5eMo80Aw@mail.gmail.com>
 <CAK42-GpbU5A3EVu=6c=DnmuyKSGMSspMHvKF+01kKgZ0gcRf-g@mail.gmail.com>
 <20201228181538.GA26722@altlinux.org>
 <CAK42-GpgaNh23189XNCVM5zCBgQabc03FYbKV3z5wzxTq-tWcg@mail.gmail.com>
 <20201228193006.GA27448@altlinux.org> <20201228222321.GA29302@altlinux.org>
 <20201229042310.GF2145@altlinux.org> <20201229085108.GA3303@altlinux.org>
 <30ab9fe0-3b7c-1dbf-5753-60751845715e@basealt.ru>
 <20201229145536.GA7219@altlinux.org>
From: Anton Farygin <rider@basealt.ru>
Organization: BaseALT
Message-ID: <0f23162d-459d-d1e6-ab35-f44d3a593d6a@basealt.ru>
Date: Wed, 30 Dec 2020 13:14:46 +0300
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.6.0
MIME-Version: 1.0
In-Reply-To: <20201229145536.GA7219@altlinux.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Content-Language: ru
Subject: Re: [devel] exception for ocaml .cmxs files
X-BeenThere: devel@lists.altlinux.org
X-Mailman-Version: 2.1.12
Precedence: list
Reply-To: ALT Linux Team development discussions <devel@lists.altlinux.org>
List-Id: ALT Linux Team development discussions <devel.lists.altlinux.org>
List-Unsubscribe: <https://lists.altlinux.org/mailman/options/devel>,
 <mailto:devel-request@lists.altlinux.org?subject=unsubscribe>
List-Archive: <http://lists.altlinux.org/pipermail/devel>
List-Post: <mailto:devel@lists.altlinux.org>
List-Help: <mailto:devel-request@lists.altlinux.org?subject=help>
List-Subscribe: <https://lists.altlinux.org/mailman/listinfo/devel>,
 <mailto:devel-request@lists.altlinux.org?subject=subscribe>
X-List-Received-Date: Wed, 30 Dec 2020 10:14:47 -0000
Archived-At: <http://lore.altlinux.org/devel/0f23162d-459d-d1e6-ab35-f44d3a593d6a@basealt.ru/>
List-Archive: <http://lore.altlinux.org/devel/>
List-Post: <mailto:devel@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 
файлов ?