From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.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 2A21D820A1
	for <caml-list@sympa.inria.fr>; Mon,  9 Sep 2013 10:25:43 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=193.252.23.215;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.215;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@msa.smtpout.orange.fr) identity=helo;
  client-ip=193.252.23.215;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@msa.smtpout.orange.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: As0AAD6FLVLB/BfXkGdsb2JhbABawzCCdYEzDgEBAQEJFAkXJYIlAQEFOEARCxgJFg8JAwIBAgFFBgEMCAEBFYdtxRqQB4QdA5d1hiyOXA
X-IPAS-Result: As0AAD6FLVLB/BfXkGdsb2JhbABawzCCdYEzDgEBAQEJFAkXJYIlAQEFOEARCxgJFg8JAwIBAgFFBgEMCAEBFYdtxRqQB4QdA5d1hiyOXA
X-IronPort-AV: E=Sophos;i="4.90,866,1371074400"; 
   d="scan'208";a="26165499"
Received: from msa06.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.215])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Sep 2013 10:25:42 +0200
Received: from [192.168.1.112] ([92.151.61.120])
	by mwinf5d21 with ME
	id NwRh1m00W2bfMm403wRhpi; Mon, 09 Sep 2013 10:25:42 +0200
Message-ID: <522D8605.1050603@frisch.fr>
Date: Mon, 09 Sep 2013 10:25:41 +0200
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.0
MIME-Version: 1.0
To: Xavier Leroy <Xavier.Leroy@inria.fr>, caml-list@inria.fr
References: <5229DEF9.7040706@inria.fr> <522A0336.7030203@inria.fr>
In-Reply-To: <522A0336.7030203@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Accelerating compilation

On 09/06/2013 06:30 PM, Xavier Leroy wrote:
> - Make sure the .opt compilers (ocamlc.opt, ocamlopt.opt) are
>    installed.  They are significantly faster than their non-.opt
>    counterparts, and some Linux distros package the .opt compilers
>    separately and don't install them by default.

Shouldn't we change the official installation procedure (from sources), 
so that the .opt compilers are installed as "ocamlc" and "ocamlopt" (not 
"ocamlc.opt", "ocamlopt.opt") when they are available?  And suggest to 
do the same for distribution packages?   It would make the life of other 
projects easier if they could just call "ocamlc" without having to check 
if "ocamlc.opt" is available or not.

Or are there compelling arguments in favor of using the bytecode version 
of ocamlc/ocamlopt?


Alain