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 AFBD07FCF0 for ; Fri, 10 Apr 2015 13:51:33 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@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-wg0-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wg0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DGAAD9uCdVlTFSfUpchDrMO4E9OxEBAQEBAQEBEQEBAQEHDQkJEjCEIAEBAwESKAYBOAEDDAEFBUY0AQUBHAY1h3QDCQgEAatoPjGQGYt3Jw2FTQElAQUOix2ESYNRgRYFnCyFeyGLYjWBFVuDOG2CQwEBAQ X-IPAS-Result: A0DGAAD9uCdVlTFSfUpchDrMO4E9OxEBAQEBAQEBEQEBAQEHDQkJEjCEIAEBAwESKAYBOAEDDAEFBUY0AQUBHAY1h3QDCQgEAatoPjGQGYt3Jw2FTQElAQUOix2ESYNRgRYFnCyFeyGLYjWBFVuDOG2CQwEBAQ X-IronPort-AV: E=Sophos;i="5.11,556,1422918000"; d="scan'208";a="109127737" Received: from mail-wg0-f49.google.com ([74.125.82.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Apr 2015 13:51:27 +0200 Received: by wgyo15 with SMTP id o15so15072719wgy.2 for ; Fri, 10 Apr 2015 04:51:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=4KNXVZNBTjU59/szOT7wtHTZhy1Dv8HJUdP/y/X/J2Q=; b=J8vKdzVYk9WJZIle7b2+tzcr8l9ztBipakyIFy3yj1+88QHiFgzQ03S0UOuRHR+sAs E/0bjNQFM8VVYOa8aiJ75DOWOCrzyly84Zujvq6p7EmEIXmeb4QUVbpj26MvaAnFW+qI M/FNfQrllKMYvRJKylJ2bNvaiymb/3ooL1RY6hZTd/mMNYDYpef9J9WqCS/pO1Ul6lQE dTL8YKHbtGIPPRjoZdGDNR4Z8xkgvrX8G8YCWQYYefN4rfQOYnUwvfpZG4vS0Q+4fyoj QTeUJ+motEl2U1Gf+VBoxB0a+3Q7hOu1jUyhCtHa/h7zcaCgm1i3rbCSHX0XPcwbXfo4 /VaA== X-Received: by 10.180.198.110 with SMTP id jb14mr4198365wic.57.1428666352319; Fri, 10 Apr 2015 04:45:52 -0700 (PDT) Received: from [192.168.1.44] (car06-8-83-155-104-81.fbx.proxad.net. [83.155.104.81]) by mx.google.com with ESMTPSA id k2sm3088061wif.3.2015.04.10.04.45.50 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 10 Apr 2015 04:45:51 -0700 (PDT) Sender: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) From: Thomas Gazagnaire In-Reply-To: <5527A16C.1050703@frisch.fr> Date: Fri, 10 Apr 2015 13:45:48 +0200 Cc: =?utf-8?Q?Daniel_B=C3=BCnzli?= , =?utf-8?Q?Fran=C3=A7ois_Bobot?= , caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <6B8AFFE6-C112-413C-ADE9-4DFB0C05FBD8@gazagnaire.org> References: <2f9c74beafcf41f3ab30324fb1ece739@nleyten.com> <55257AAD.6030004@zoho.com> <5297cdaceccd6db2a60700bf686ccfb7@nleyten.com> <1428576994.22412.21.camel@e130.lan.sumadev.de> <46483E4AF51B46A3B3F91B3B5CFE8249@erratique.ch> <1428597912.4056.107.camel@thinkpad.lan.sumadev.de> <9CB3F43413964B9F93581B26AD6B391B@erratique.ch> <1428618115.4451.6.camel@zotac> <55278F9D.8030607@cea.fr> <6C2BFE0C79F1491BAEB633BE70A6CE4D@erratique.ch> <5527A16C.1050703@frisch.fr> To: Alain Frisch X-Mailer: Apple Mail (2.2070.6) Subject: Re: [Caml-list] META file standards for ppx extensions >> But for one thing you can perfectly imagine doing a source pre-processin= g step before making a distribution, so that final users don't need to inst= all the pre-processor you are using. Besides if you have a decent build sys= tem which finely tracks dependencies for minimal rebuilds you can perfectly= imagine to not re-pre-process a file if only a *compilation* option change= s. >=20 > It's better than that: you can avoid pre-processing if dependencies chang= e but not the current unit's code (if you know that the preprocessors is no= t going to read compilation artefacts, but they usually don't). This is fa= r more common than changing compilation options. Exactly. And also, most of the current build systems call the pre-processor= three times: one with ocamldep -pp, one with ocamlc -pp and one with ocaml= opt -pp. The preprocessor use byte-code (as the native libraries for the pr= e-processors are usually not installed) and dynamic linking which is slow -= - various naive (and probably biais) experiments showed that the compilatio= n time is usually negligible compared to the pre-processing time, so you us= ually have a 2/3 speed-up. Thomas