From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 943B6820A1 for ; Mon, 9 Sep 2013 12:13:19 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar8FAAieLVJZELGadGdsb2JhbABbsj6TZ4E2DgEMFQg8giUBAQQBeQULCxguVwYTGYdjBgTFGY9NMweDHYEAA5d1lQc X-IPAS-Result: Ar8FAAieLVJZELGadGdsb2JhbABbsj6TZ4E2DgEMFQg8giUBAQQBeQULCxguVwYTGYdjBgTFGY9NMweDHYEAA5d1lQc X-IronPort-AV: E=Sophos;i="4.90,866,1371074400"; d="scan'208";a="26184965" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail3-smtp-sop.national.inria.fr with SMTP; 09 Sep 2013 12:13:18 +0200 Received: (qmail 23411 invoked by uid 634); 9 Sep 2013 10:13:17 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO clink.office) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Mon, 09 Sep 2013 11:13:16 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) From: Anil Madhavapeddy In-Reply-To: <522D8605.1050603@frisch.fr> Date: Mon, 9 Sep 2013 11:13:16 +0100 Cc: Xavier Leroy , caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: References: <5229DEF9.7040706@inria.fr> <522A0336.7030203@inria.fr> <522D8605.1050603@frisch.fr> To: Alain Frisch X-Mailer: Apple Mail (2.1508) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] Accelerating compilation On 9 Sep 2013, at 09:25, Alain Frisch wrote: > 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. >=20 > Shouldn't we change the official installation procedure (from sources), s= o that the .opt compilers are installed as "ocamlc" and "ocamlopt" (not "oc= amlc.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. >=20 > Or are there compelling arguments in favor of using the bytecode version = of ocamlc/ocamlopt? The only reason I'm aware of for not exclusively using the native code vers= ion of tools is for camlp4 -- most extensions don't package up .cmxs files = for Natdynlink. It should be safe to swap just the compiler binaries. I'll run a regression test on OPAM with this divert in place to see if anyt= hing new breaks (after the current 4.01.0RC2 runs are done and triaged, th= at is). -anil=