From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <christiano.fh@gmail.com>
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 2E65C7EEF6
	for <caml-list@sympa.inria.fr>; Fri,  5 Jun 2015 12:47:33 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  christiano.fh@gmail.com) identity=pra;
  client-ip=209.85.213.50;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="christiano.fh@gmail.com";
  x-sender="christiano.fh@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  christiano.fh@gmail.com designates 209.85.213.50 as permitted
  sender) identity=mailfrom; client-ip=209.85.213.50;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="christiano.fh@gmail.com";
  x-sender="christiano.fh@gmail.com";
  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-yh0-f50.google.com) identity=helo;
  client-ip=209.85.213.50;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="christiano.fh@gmail.com";
  x-sender="postmaster@mail-yh0-f50.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0B/BADAfXFVlDLVVdFbg2ReBoMYiUuzVoV1AYE6BzwQAQEBAQEBAREBAQEBBwsLCR8wQQWDXQEBBBIRHQE4AQMMAQUFCw0CAiYCAiEBEgEFARwGEyKHdgMSqyk+MYs/hGSZbCcNhRsmAQUOgROKIoJNhSiBRQEEkx+EP4UJgV+QTIU/EiOBFV2BUByBVDwxgkcBAQE
X-IPAS-Result: A0B/BADAfXFVlDLVVdFbg2ReBoMYiUuzVoV1AYE6BzwQAQEBAQEBAREBAQEBBwsLCR8wQQWDXQEBBBIRHQE4AQMMAQUFCw0CAiYCAiEBEgEFARwGEyKHdgMSqyk+MYs/hGSZbCcNhRsmAQUOgROKIoJNhSiBRQEEkx+EP4UJgV+QTIU/EiOBFV2BUByBVDwxgkcBAQE
X-IronPort-AV: E=Sophos;i="5.13,558,1427752800"; 
   d="scan'208";a="134620916"
Received: from mail-yh0-f50.google.com ([209.85.213.50])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Jun 2015 12:47:32 +0200
Received: by yhan67 with SMTP id n67so18270006yha.3
        for <caml-list@inria.fr>; Fri, 05 Jun 2015 03:47:31 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:date:message-id:subject
         :from:to:cc:content-type;
        bh=loEDLS7xGLL6WttddAntRSbcI6Wj7GXN1kkwQfnnolo=;
        b=nranPB1T97GQcZ7vxQdLzF61K0ayNFX4r6CQ2U8E2M/Rg5uWo7WjS4vN3Nb3TFpCd4
         6c1fDZMH6DThCb2ChZwvHxRZ/VVwsi/fzNhazmU7rQeFSZgBgBIThWwN7apfJXmX9SuR
         p1ujeCh2xqxzU9XkH/xpTeS+xkSPrM+6A+nfzouzfZU7JmxqbQDWrqW55dombhFFWhjz
         2375eunhOSOUgQ+JiIwGm9mWqpV65+HuvCk/bp7FcrrdpZR2NEzcBmb6pXFsnNlPUCoB
         v4yEzJusxKxhDTWWVPk0+z1HLvoTLjwLCmssCLt1Ejz4InycGDKz4kw3Dly2CEdXYRWx
         QZ8Q==
MIME-Version: 1.0
X-Received: by 10.236.199.17 with SMTP id w17mr2636988yhn.91.1433501251065;
 Fri, 05 Jun 2015 03:47:31 -0700 (PDT)
Sender: christiano.fh@gmail.com
Received: by 10.129.90.85 with HTTP; Fri, 5 Jun 2015 03:47:31 -0700 (PDT)
In-Reply-To: <CAAxsn=FzvsySN=6oBrsT+MnOx93dn7UUwcDpaqpvpYLBtkyy2g@mail.gmail.com>
References: <CAPvuBUu3yfA=FwqfzoHGpxYV=CLp00SnLUKpWcN02KsFqe-7dA@mail.gmail.com>
	<CAAxsn=FzvsySN=6oBrsT+MnOx93dn7UUwcDpaqpvpYLBtkyy2g@mail.gmail.com>
Date: Fri, 5 Jun 2015 12:47:31 +0200
X-Google-Sender-Auth: ohGiqeMisFXtrE0qSNF9fRVhWz8
Message-ID: <CAPvuBUuNC1aw57je+YgzqUS-6tR741nW2_V+TwcbCSwpcT3GZg@mail.gmail.com>
From: "Christiano F. Haesbaert" <haesbaert@haesbaert.org>
To: Jeremy Yallop <yallop@gmail.com>
Cc: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
X-Validation-by: haesbaert@haesbaert.org
Subject: Re: [Caml-list] Can't build a target with C stubs using ocamlbuild

On 5 June 2015 at 12:38, Jeremy Yallop <yallop@gmail.com> wrote:
> On 5 June 2015 at 11:29, Christiano F. Haesbaert
> <haesbaert@haesbaert.org> wrote:
>> ### toto_c.c ###
>> ### toto_c.ml ###
>
> Both of these files will be compiled to object files called
> 'toto_c.o'.  Renaming one of them (e.g. toto_c.c to toto_c_stubs.c)
> should fix the problem.

Hooray, great, that did the trick, thanks a lot :D.