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 21AE77EE35 for ; Wed, 4 May 2016 07:21:21 +0200 (CEST) IronPort-PHdr: 9a23:vGNz0x8rVsZhrv9uRHKM819IXTAuvvDOBiVQ1KB91uocTK2v8tzYMVDF4r011RmSDdSds6sP27SempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lS8iK1o/niaibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MdFVeD+fr8kZb1eFjUvdW4vt+PxshyWdoqF72AAU2gQ2jpJBQTI9hzgFsPKvyHzrfZ81S/cHczwQb0uVC6K7qFxSRauhj1RZG1xy33elsEl1PETmxmmvREqm4M= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sebastien.Hinderer@inria.fr; spf=None smtp.mailfrom=SRS0=l8+o=Q5=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org; spf=Pass smtp.helo=postmaster@sonata.ens-lyon.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Sebastien.Hinderer@inria.fr) identity=pra; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=l8+o=Q5=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="Sebastien.Hinderer@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of SRS0=l8+o=Q5=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org) identity=mailfrom; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=l8+o=Q5=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="SRS0=l8+o=Q5=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@sonata.ens-lyon.org designates 140.77.166.138 as permitted sender) identity=helo; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=l8+o=Q5=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="postmaster@sonata.ens-lyon.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CTAABnhSlXkIqmTYxehHmyN4gKiXsTAQEBAQEBAQERAQEBAQkLCQkhL0ESAYFZghUBBSMPAVYLGgIFEw4CAg8tG4hDBKs/kS18iXGFC4I0K4IuBZgWjg6BXAGNQI8wAiEBgXYMgiuDMYVyAwEBAQ X-IPAS-Result: A0CTAABnhSlXkIqmTYxehHmyN4gKiXsTAQEBAQEBAQERAQEBAQkLCQkhL0ESAYFZghUBBSMPAVYLGgIFEw4CAg8tG4hDBKs/kS18iXGFC4I0K4IuBZgWjg6BXAGNQI8wAiEBgXYMgiuDMYVyAwEBAQ X-IronPort-AV: E=Sophos;i="5.24,575,1454972400"; d="scan'208";a="176647571" Received: from domu-toccata.ens-lyon.fr (HELO sonata.ens-lyon.org) ([140.77.166.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 04 May 2016 07:21:20 +0200 Received: from localhost (localhost [127.0.0.1]) by sonata.ens-lyon.org (Postfix) with ESMTP id C4EA5200D6; Wed, 4 May 2016 07:21:19 +0200 (CEST) Received: from sonata.ens-lyon.org ([127.0.0.1]) by localhost (sonata.ens-lyon.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id wYPXprXrIBu4; Wed, 4 May 2016 07:21:19 +0200 (CEST) Received: from pema.homeunix.org (AMontsouris-551-1-45-172.w90-24.abo.wanadoo.fr [90.24.228.172]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by sonata.ens-lyon.org (Postfix) with ESMTPSA id 9E80A200D0; Wed, 4 May 2016 07:21:19 +0200 (CEST) Received: from seb by pema.homeunix.org with local (Exim 4.86) (envelope-from ) id 1axpFP-00011G-1f; Wed, 04 May 2016 07:21:19 +0200 Date: Wed, 4 May 2016 07:21:19 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20160504052119.GA3707@pema> Mail-Followup-To: caml-list@inria.fr References: <4AEE603E-99BB-4C57-AA7D-61348A04306C@inria.fr> <20160504014318.GL31643@delli7.univ-savoie.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20160504014318.GL31643@delli7.univ-savoie.fr> Subject: Re: [Caml-list] OCaml release 4.03.0 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? Sébastien.