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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0F1A37F89E for ; Wed, 2 Apr 2014 22:43:21 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=209.85.192.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.192.42 as permitted sender) identity=mailfrom; client-ip=209.85.192.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qg0-f42.google.com) identity=helo; client-ip=209.85.192.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-qg0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4EAB52PFPRVcAqeGdsb2JhbABZg0FXrHaNfoh0gRsIFg4BFSYqgiUBAQEDAUABLQsBAwELAQUFBAcaISISAQUBChIGEwgKh1MDCQgNoQ+PbZZCJwMKhzYRAQUMjmCEQwSYWIEzjxcYKYFngnk7 X-IPAS-Result: Am4EAB52PFPRVcAqeGdsb2JhbABZg0FXrHaNfoh0gRsIFg4BFSYqgiUBAQEDAUABLQsBAwELAQUFBAcaISISAQUBChIGEwgKh1MDCQgNoQ+PbZZCJwMKhzYRAQUMjmCEQwSYWIEzjxcYKYFngnk7 X-IronPort-AV: E=Sophos;i="4.97,782,1389740400"; d="scan'208";a="66101196" Received: from mail-qg0-f42.google.com ([209.85.192.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Apr 2014 22:43:20 +0200 Received: by mail-qg0-f42.google.com with SMTP id q107so825009qgd.1 for ; Wed, 02 Apr 2014 13:43:19 -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=x4c2khydXGUOlIFYELXRFpugIPNGt9zFZ446ycgDQJY=; b=dds7w0mkxpcO82ydEaLNX576E2pyzjGOoc0UGCLlyPM3o7F8CgX8BwNRPoik7LJfPN gv2ySDts+5Kkihe/MJcn1WOsnas/b48240EScahn62XMLQ7j/XHPBEUavBPlHFAzpFrc xLYIB9PIhN373BkMHim8HyFobc+EC0Uv+jZRKKFHf2PmM43FBEFkSrWaDDfYJMrsSu3q 7Iwl4t9l3xc6pwdrejlQEwflImHz04EhWtgptnOp9zb7rG87eeRkyI37jXRNm40IHG7U jhRbcPqgGKGCOUY4WtaFrsVUbeAteqItfyyx/HQGmm3kSiEB71072mtxYFDYA5KlqxKJ JO6Q== MIME-Version: 1.0 X-Received: by 10.224.166.210 with SMTP id n18mr3283399qay.6.1396471399184; Wed, 02 Apr 2014 13:43:19 -0700 (PDT) Sender: fabrissimo@gmail.com Received: by 10.96.58.2 with HTTP; Wed, 2 Apr 2014 13:43:19 -0700 (PDT) In-Reply-To: <9EC7944797D54A8E893837CB84026489@erratique.ch> References: <533C6FC2.9080406@fugmann.net> <9EC7944797D54A8E893837CB84026489@erratique.ch> Date: Wed, 2 Apr 2014 22:43:19 +0200 X-Google-Sender-Auth: CrQSr1m5alCo9k93lH0tN4JvETM Message-ID: From: Fabrice Le Fessant To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Cc: Anders Peter Fugmann , caml-list Content-Type: multipart/alternative; boundary=089e0149c39caffe9404f61555bf Subject: Re: [Caml-list] Speeding up compilation --089e0149c39caffe9404f61555bf Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable ocp-build uses a trick to speed-up compilations with camlp4: it preprocesses every file only once, and then uses the generated file (a binary version of the file AST) with ocamldep, ocamlc and ocamlopt. It usually means a x3 speedup. --Fabrice On Wed, Apr 2, 2014 at 10:34 PM, Daniel B=FCnzli wrote: > > > Le mercredi, 2 avril 2014 =E0 22:14, Anders Peter Fugmann a =E9crit : > > > Is there any way to use a optimized version of camlp4. > > Not sure that this will work as it it not mentioned in the documentation > [1] but did you try to add > > camlp4=3D"camlp4.opt" > > in .opam/$SWITCH/lib/findlib.conf (or wherever it is on your machine). > > Best, > > Daniel > > [1] > http://projects.camlcity.org/projects/dl/findlib-1.4.1/doc/ref-html/r775.= html > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --=20 Fabrice LE FESSANT Chercheur en Informatique INRIA Paris Rocquencourt -- OCamlPro Programming Languages and Distributed Systems --089e0149c39caffe9404f61555bf Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
ocp-build uses a trick to speed-up compilations with camlp= 4: it preprocesses every file only once, and then uses the generated file (= a binary version of the file AST) with ocamldep, ocamlc and ocamlopt. It us= ually means a x3 speedup.

--Fabrice


On Wed, Apr 2, 2014 at 10:34 PM, Daniel B=FCnzli <daniel.buenzli@erratique.ch> wrote:


Le mercredi, 2 avril 2014 =E0 22:14, Anders Peter Fugmann a =E9crit :

> Is there any way to use a optimized version of camlp4.

Not sure that this will work as it it not mentioned in the documentat= ion [1] but did you try to add

camlp4=3D"camlp4.opt"

in .opam/$SWITCH/lib/findlib.conf (or wherever it is on your machine).

Best,

Daniel

[1] http://projects.camlcity.org/projects/= dl/findlib-1.4.1/doc/ref-html/r775.html



--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


--
Fabrice LE FESSANT
Chercheur en= Informatique
INRIA Paris Rocquencourt -- OCamlPro
Programming Languages and Distribut= ed Systems --089e0149c39caffe9404f61555bf--