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 2FA977F89E for ; Fri, 4 Apr 2014 22:55:37 +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.130; 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.130; 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.130 as permitted sender) identity=helo; client-ip=212.227.126.130; 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: AucBADQbP1PU436ClGdsb2JhbABZg0HEZYEkFg4BAQEBBwsLCRIqgiUBAQEEVSQQCxguVwYTCYd0CdAcF4kphSImB4Q4BI8whT+KOAWPIA X-IPAS-Result: AucBADQbP1PU436ClGdsb2JhbABZg0HEZYEkFg4BAQEBBwsLCRIqgiUBAQEEVSQQCxguVwYTCYd0CdAcF4kphSImB4Q4BI8whT+KOAWPIA X-IronPort-AV: E=Sophos;i="4.97,797,1389740400"; d="asc'?scan'208";a="66486772" Received: from moutng.kundenserver.de ([212.227.126.130]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 04 Apr 2014 22:55:36 +0200 Received: from office1.lan.sumadev.de (dslb-178-004-218-220.pools.arcor-ip.net [178.4.218.220]) by mrelayeu.kundenserver.de (node=mreue004) with ESMTP (Nemesis) id 0Ly8sz-1X8cct1FNl-015aRv; Fri, 04 Apr 2014 22:55:34 +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 88A62DC270; Fri, 4 Apr 2014 22:55:33 +0200 (CEST) Message-ID: <1396644932.5787.16.camel@e130> From: Gerd Stolpmann To: Anders Peter Fugmann Cc: caml-list Date: Fri, 04 Apr 2014 22:55:32 +0200 In-Reply-To: <533DCC01.3040908@fugmann.net> References: <533C6FC2.9080406@fugmann.net> <9EC7944797D54A8E893837CB84026489@erratique.ch> <1396474937.5787.5.camel@e130> <533DCC01.3040908@fugmann.net> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-PEdTnHuOoa9bkQG+g3Oa" X-Mailer: Evolution 3.2.3-0ubuntu6 Mime-Version: 1.0 X-Provags-ID: V02:K0:g0VulwadX+yEA+5Fsf+FXZv3JHKIig0WhW8Xi3Tfa0g c4/HIHs1TOM/EPe+gk29hEXyjJmwTrbBlyCg7d3hjFzNVn33UW zMr5DhMHnsPHnbb6VnnM3mElI1KwufnBsNadhxQN9JSPX6s1sR yz/ioVTJDNbRYFYILbM92cO9JD8npNvhoYh+pCfKDm3zCSfBUM zT4/7QLxSOMmcEprDSaWlqHnB5WcqaZQGm/cWT9EYibOswKq5r DEESa2NAsR3S3m/RwsMV/JrS3fqbIG15ERw75SWv5ok2zIGmCA 15s1U+aGPTw8aFcnIpclJw9VgJtS4GNqaLTEG86LanIPhSybiN 5mZcZ4b765nZUUAsmY8QaA+TBUaJBgCnn+wo3D5gO Subject: Re: [Caml-list] Speeding up compilation --=-PEdTnHuOoa9bkQG+g3Oa Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Donnerstag, den 03.04.2014, 23:00 +0200 schrieb Anders Peter Fugmann: > On 02/04/14 23:42, Gerd Stolpmann wrote: > > The camlp4 executable is specified in the META file of camlp4, namely by > > the "preprocessor" setting. So you could change that to camlp4.opt. > I dont seem to have a camlp4.opt, but other variants (camlp4[orf]+.opt).= =20 > Do I need to change how opam compiles the ocaml toolchain in order to=20 > get a camlp4.opt? Right, that makes it even harder. There's only camlp4.opt, a scheme that doesn't fit nicely into ocamlfind. Gerd > > > > 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. > That makes sense. > Thanks >=20 > Regards > Anders >=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 ------------------------------------------------------------ --=-PEdTnHuOoa9bkQG+g3Oa 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) iQEcBAABAgAGBQJTPxxEAAoJEAaM4b9ZLB5TjwUH/A39zO9Y70KNVM6cj10+NHLm ifxZ2THw+Duk3BLj/At+jN42WDTFbtgzLIfE4E1PbUTMsh1BBsYBuVPjNHbI7E/m hdwrDeb8N1G0ohM0G43Kc3CXHD3qF6Ll9ONDutX9p58DfNozxhbn4iM1o7rmMViZ rYErsxKEq2hFoLOenhXezAB4B0enK+QURZb69vMs7fzZo5o8ayAKGpRKrbgWOcnr Dy7Bc+znb4cFZUCFOCadsOPCS41IO7tjkElGTbMfEyQdcACx2r5VsZIjGum5kjlE WNOi3O0hv5+hieI5skDVBhq2Wt4ICE4/pDySMo7cLY94rEa2S0+kYxMVLkkvI4I= =8Hs8 -----END PGP SIGNATURE----- --=-PEdTnHuOoa9bkQG+g3Oa--