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 B7CD27F89E for ; Wed, 2 Apr 2014 23:42:30 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.126.187 as permitted sender) identity=helo; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmEEAMmCPFPU4367eGdsb2JhbABZg0HEPYEkFg4BFSYqgiYBAQRVJBALRlcGEwmHdAnPPReJKYUhJgeEOASPLopdhRcFjxw X-IPAS-Result: AmEEAMmCPFPU4367eGdsb2JhbABZg0HEPYEkFg4BFSYqgiYBAQRVJBALRlcGEwmHdAnPPReJKYUhJgeEOASPLopdhRcFjxw X-IronPort-AV: E=Sophos;i="4.97,782,1389740400"; d="asc'?scan'208";a="66106644" Received: from moutng.kundenserver.de ([212.227.126.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 02 Apr 2014 23:42:30 +0200 Received: from office1.lan.sumadev.de (dslb-178-004-066-075.pools.arcor-ip.net [178.4.66.75]) by mrelayeu.kundenserver.de (node=mreue007) with ESMTP (Nemesis) id 0LaNTf-1WtIIZ1BR1-00mNDc; Wed, 02 Apr 2014 23:42:24 +0200 Received: from [192.168.0.146] (546BEFE6.cm-12-4d.dynamic.ziggo.nl [84.107.239.230]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 2B68EDC270; Wed, 2 Apr 2014 23:42:23 +0200 (CEST) Message-ID: <1396474937.5787.5.camel@e130> From: Gerd Stolpmann To: Daniel =?ISO-8859-1?Q?B=FCnzli?= Cc: Anders Peter Fugmann , caml-list Date: Wed, 02 Apr 2014 23:42:17 +0200 In-Reply-To: <9EC7944797D54A8E893837CB84026489@erratique.ch> References: <533C6FC2.9080406@fugmann.net> <9EC7944797D54A8E893837CB84026489@erratique.ch> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-wuCLN4ZGMQrOB37avrNs" X-Mailer: Evolution 3.2.3-0ubuntu6 Mime-Version: 1.0 X-Provags-ID: V02:K0:CyQIUVZEHJ4cEls6IzlpYn9zCU1UzfquBUvIXYmE529 Yi7jn+DeGfNgLsIIvdluPLn7Gh7quX5d9mGsx9q1KISVC7q7h0 FvghrVJhLoCfDYtGcRS7STS0bFwn/D6Efn3VKFsoQv7GD8yoWu Z7pKicl7opJbOuPj7I6QQ1B6lVn0DXdOtm1tomYKkug1HnrXPq VsqPpiiZXkexNcHi3BwcXYAQbCxC+k7L1cMWGtK+TSjZHm/aLE Ap0es6GcObpCEFCxwmMOfJbzJeX8gSlCKoOyx976FKuBEDLpaO m9+t45ev0cqHo7SKaCUWnkhKx+H9EK6v9EYdBBu4UZSaVpCHkM wwV2WNzTnHvNEHM436L0= Subject: Re: [Caml-list] Speeding up compilation --=-wuCLN4ZGMQrOB37avrNs Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable The camlp4 executable is specified in the META file of camlp4, namely by the "preprocessor" setting. So you could change that to camlp4.opt. This is not configured by default because not every syntax extension can be loaded into camlp4.opt, as it needs to be an cmxs. We would need here some wrapper that first checks whether the cmxs files are available, and switch to camlp4.opt only if this is the case. Gerd Am Mittwoch, den 02.04.2014, 22:34 +0200 schrieb Daniel B=FCnzli: >=20 > Le mercredi, 2 avril 2014 =E0 22:14, Anders Peter Fugmann a =E9crit : >=20 > > Is there any way to use a optimized version of camlp4. >=20 > Not sure that this will work as it it not mentioned in the documentation = [1] but did you try to add >=20 > camlp4=3D"camlp4.opt"=20=20 >=20 > in .opam/$SWITCH/lib/findlib.conf (or wherever it is on your machine).=20= =20 >=20 > Best, >=20 > Daniel >=20 > [1] http://projects.camlcity.org/projects/dl/findlib-1.4.1/doc/ref-html/r= 775.html >=20 >=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-wuCLN4ZGMQrOB37avrNs Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAABAgAGBQJTPIQ5AAoJEAaM4b9ZLB5TepQH/0zXmlo+8G9YJoldGEt1jsje 8JZUJPjmGg+zLrlZWs5hVwFZbx+AkHCbQZN6Z2DU6LklvLtPI7N8XT9fltXxGHqz EnIGezQBLEgeHj50OxbFfbr/1z4JeD0DSYpCQU0edVhGpmxga/3U+Tj+7xZo+R2T 4fWAC483AGIn4xAYvTRujC3wwZ+L5+j1Fm+e1NJXQVLVRXSOkRshtCSJDio9nn12 LNa3XqxUNW+dzP1yLL/By9JuTORXb/OhHPm4vakV6EGo19mTDXbVWq1MwebRIxpB JW/wtCtUytQMkaF0KBcZ1oLi8IlKsjolF39tpkObX1TiJ3ZMEPYsB1kXnEqwA6I= =Iyhi -----END PGP SIGNATURE----- --=-wuCLN4ZGMQrOB37avrNs--