From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oleg@okmij.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 46DEE7EFCB
	for <caml-list@sympa.inria.fr>; Wed, 19 Feb 2014 10:51:25 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oleg@okmij.org) identity=pra; client-ip=66.39.3.115;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  oleg@okmij.org designates 66.39.3.115 as permitted sender)
  identity=mailfrom; client-ip=66.39.3.115;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@www1.g3.pair.com) identity=helo;
  client-ip=66.39.3.115;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org";
  x-sender="postmaster@www1.g3.pair.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjQgAM19BFNCJwNzSWdsb2JhbABZgz6INqtTL4wTgTIDAQEWBw4HPYIseRs0VRQUIIdqDc01EwSOZAcWhCIEhSyTAwGMO4kWPA
X-IPAS-Result: AjQgAM19BFNCJwNzSWdsb2JhbABZgz6INqtTL4wTgTIDAQEWBw4HPYIseRs0VRQUIIdqDc01EwSOZAcWhCIEhSyTAwGMO4kWPA
X-IronPort-AV: E=Sophos;i="4.97,504,1389740400"; 
   d="scan'208";a="49625019"
Received: from www1.g3.pair.com ([66.39.3.115])
  by mail3-smtp-sop.national.inria.fr with SMTP; 19 Feb 2014 10:51:23 +0100
Received: (qmail 99215 invoked by uid 9370); 19 Feb 2014 09:51:22 -0000
Date: 19 Feb 2014 09:51:22 -0000
Message-ID: <20140219095122.99214.qmail@www1.g3.pair.com>
From: oleg@okmij.org
To: adrien@notk.org
CC: caml-list@inria.fr
In-reply-to: <20140218185032.GA20593@notk.org>
Subject: Re: [Caml-list] [RFC] Remaining changes for cross-compilation
 support


> *** For bytecode, assume C libraries contain the required primitives ***
>
> When doing linking for bytecode with -custom, OCaml will dlopen() the
> corresponding library and dlsym() the primitive as an early check for
> their availability at runtime.
>
> Quite obviously, this fails for cross-compilation and the only solution
> I can think of is to disable the check completely. I have already
> written the corresponding patch; it adds 4 trivial lines and changes
> one.

I think the following message is related
        https://sympa.inria.fr/sympa/arc/caml-list/2013-09/msg00090.html
(please also see the follow-ups)

        and so your patch will also solve my problem. Solving several
problems seems to make a good case for a patch.