From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gabriel@kerneis.info>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 07F8E820A1
	for <caml-list@sympa.inria.fr>; Mon,  9 Sep 2013 19:17:13 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  gabriel@kerneis.info) identity=pra; client-ip=176.31.113.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="gabriel@kerneis.info";
  x-sender="gabriel@kerneis.info";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  gabriel@kerneis.info designates 176.31.113.173 as permitted
  sender) identity=mailfrom; client-ip=176.31.113.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="gabriel@kerneis.info";
  x-sender="gabriel@kerneis.info";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  postmaster@wanbli.kerneis.info designates 176.31.113.173 as
  permitted sender) identity=helo; client-ip=176.31.113.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="gabriel@kerneis.info";
  x-sender="postmaster@wanbli.kerneis.info";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AigFAO0BLlKwH3Gt/2dsb2JhbABbgwc4gzS/NIEkFnSCJQEBBToGAQE3AQ8LGAklDwVJiBUECLExhEoBBY13BpAAB4MdgQCOZ4kQgTCEcItHgyE
X-IPAS-Result: AigFAO0BLlKwH3Gt/2dsb2JhbABbgwc4gzS/NIEkFnSCJQEBBToGAQE3AQ8LGAklDwVJiBUECLExhEoBBY13BpAAB4MdgQCOZ4kQgTCEcItHgyE
X-IronPort-AV: E=Sophos;i="4.90,872,1371074400"; 
   d="scan'208";a="32133194"
Received: from wanbli.kerneis.info ([176.31.113.173])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 09 Sep 2013 19:17:12 +0200
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=wanbli-rsa1;
	h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=TcPs18lvA4Sh6kMKFGA7pS1VIkQuEXbVxpNN7YCrHCk=;
	b=c3+r4QL+ifPyrNNOeZyK6FtS6RSU2QfNYyb80pDtIG6bk15k7mCI7vEWcmsNg5X7nttllhsxFUgBLRAI6Ka1dBt6Y7hbJhVQgf18mguTFzbBuLpKTTFZIf8TV09N/flpsbIKSub4KhavzHCtwzjHCdkuqVTFz1WdTSVKaPjRyBY=;
Received: from wowasieco.sm.cl.cam.ac.uk ([128.232.60.22] helo=localhost)
	by wanbli.kerneis.info with esmtpsa (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128)
	(Exim 4.80)
	(envelope-from <gabriel@kerneis.info>)
	id 1VJ55L-00050R-4p; Mon, 09 Sep 2013 17:17:11 +0000
Date: Mon, 9 Sep 2013 18:17:09 +0100
From: Gabriel Kerneis <gabriel@kerneis.info>
To: Adrien Nader <adrien@notk.org>
Cc: Alain Frisch <alain@frisch.fr>, Xavier Leroy <Xavier.Leroy@inria.fr>,
	caml-list@inria.fr
Message-ID: <20130909171709.GB26977@kerneis.info>
References: <5229DEF9.7040706@inria.fr>
 <522A0336.7030203@inria.fr>
 <522D8605.1050603@frisch.fr>
 <20130909170830.GA7161@notk.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20130909170830.GA7161@notk.org>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-SA-Exim-Connect-IP: 128.232.60.22
X-SA-Exim-Mail-From: gabriel@kerneis.info
X-SA-Exim-Scanned: No (on wanbli.kerneis.info); SAEximRunCond expanded to false
Subject: Re: [Caml-list] Accelerating compilation

On Mon, Sep 09, 2013 at 07:08:30PM +0200, Adrien Nader wrote:
> Btw, considering that cross-compilation support will be in trunk very
> soon, it's better not to assume anything about what's installed and rely
> blindly on ocamlfind calling the right binaries (that or autotools).

On a related note: a new version of ocaml-autoconf [1] should be
released soon [2] with a number of bug fixes, including support for
cross-compilation.

Gabriel

[1] http://forge.ocamlcore.org/projects/ocaml-autoconf/
[2] as soon as I have time to review the cross-compilation patch series
    and merge it.