From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 73FB77EE35 for ; Wed, 4 May 2016 07:29:16 +0200 (CEST) IronPort-PHdr: 9a23:e9HOchZ9pG1XmPpsO0bQbNz/LSx+4OfEezUN459isYplN5qZpci6bnLW6fgltlLVR4KTs6sC0LqH9fi5Ej1Qqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7H0o8SYMlUArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB3oWkwZFGhXM9hKyCojxszf3r/d0wiqyIs33Ub0tRD247OFsUhC+23RPDCIw7GyC0p84t6lcuh/0/xE= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=whitequark@whitequark.org; spf=Pass smtp.mailfrom=whitequark@whitequark.org; spf=None smtp.helo=postmaster@mail.whitequark.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of whitequark@whitequark.org) identity=pra; client-ip=176.58.103.125; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="whitequark@whitequark.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of whitequark@whitequark.org designates 176.58.103.125 as permitted sender) identity=mailfrom; client-ip=176.58.103.125; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="whitequark@whitequark.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@mail.whitequark.org) identity=helo; client-ip=176.58.103.125; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="postmaster@mail.whitequark.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BfBgDyhylX/31nOrBewS+GEAKBcxEBAQEBAQEBAWQnQRIBgVmCFQEBBCMPAQVRBAcJDwICJgICLCshiCarQpEsfIUjgy+BH4ULgjSCWQEEjkiJToIai3eBWRaETYhejzI2LINuOYJ3hXUBAQE X-IPAS-Result: A0BfBgDyhylX/31nOrBewS+GEAKBcxEBAQEBAQEBAWQnQRIBgVmCFQEBBCMPAQVRBAcJDwICJgICLCshiCarQpEsfIUjgy+BH4ULgjSCWQEEjkiJToIai3eBWRaETYhejzI2LINuOYJ3hXUBAQE X-IronPort-AV: E=Sophos;i="5.24,575,1454972400"; d="scan'208";a="176647915" Received: from fehu.whitequark.org (HELO mail.whitequark.org) ([176.58.103.125]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 04 May 2016 07:29:15 +0200 Received: by mail.whitequark.org (Postfix, from userid 33) id 9543A10CA78; Wed, 4 May 2016 05:29:13 +0000 (UTC) To: caml-list@inria.fr X-PHP-Originating-Script: 1000:rcube.php MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Date: Wed, 04 May 2016 08:29:13 +0300 From: whitequark In-Reply-To: <20160504052119.GA3707@pema> References: <4AEE603E-99BB-4C57-AA7D-61348A04306C@inria.fr> <20160504014318.GL31643@delli7.univ-savoie.fr> <20160504052119.GA3707@pema> Message-ID: <7ca407de3b2707cc7f5fa71a35374392@whitequark.org> X-Sender: whitequark@whitequark.org User-Agent: Roundcube Webmail/1.1.5 Subject: Re: [Caml-list] OCaml release 4.03.0 On 2016-05-04 08:21, Sébastien Hinderer wrote: > Hi Christophe, > > Christophe Raffalli (2016/05/04 03:43 +0200): >> Thanks for the link ... I saw that gles3 is broken because gcc does >> not find caml/misc.h ... >> I probably miss a -I for C stubs ... What is the correct way to get >> the location of C stub ? >> >> I think `ocamlfind printconf stdlib`/caml should work ... But It does >> not look great ? > > Would `ocamlc -where`/caml help? Please, `ocamlfind ocamlc -where`/caml. This helps with cross-compiling because ocamlfind respects the OCAMLFIND_TOOLCHAIN environment variable. -- whitequark