From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <anders@fugmann.net>
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 CC4797F89E
	for <caml-list@sympa.inria.fr>; Thu,  3 Apr 2014 23:00:51 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  anders@fugmann.net) identity=pra; client-ip=90.184.182.235;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="anders@fugmann.net";
  x-sender="anders@fugmann.net"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  anders@fugmann.net designates 90.184.182.235 as permitted
  sender) identity=mailfrom; client-ip=90.184.182.235;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="anders@fugmann.net";
  x-sender="anders@fugmann.net"; 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@fw.fugmann.net) identity=helo;
  client-ip=90.184.182.235;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="anders@fugmann.net";
  x-sender="postmaster@fw.fugmann.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnQBAJDIPVNauLbrl2dsb2JhbABYgmXCH4MQgTYOAQEBAQEIFgc8giUBAQEDAThAARALDgoJFg8JAwIBAgFFBg0BBwKHbQkDzz4XjnEHhDgBA5RvmVw
X-IPAS-Result: AnQBAJDIPVNauLbrl2dsb2JhbABYgmXCH4MQgTYOAQEBAQEIFgc8giUBAQEDAThAARALDgoJFg8JAwIBAgFFBg0BBwKHbQkDzz4XjnEHhDgBA5RvmVw
X-IronPort-AV: E=Sophos;i="4.97,790,1389740400"; 
   d="scan'208";a="66303428"
Received: from 0405ds1-vaer.1.fullrate.dk (HELO fw.fugmann.net) ([90.184.182.235])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 03 Apr 2014 23:00:51 +0200
Received: from [IPv6:2001:470:dc46:1:daa2:5eff:fe95:453e] (unknown [IPv6:2001:470:dc46:1:daa2:5eff:fe95:453e])
	(using TLSv1 with cipher ECDHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	by fw.fugmann.net (Postfix) with ESMTPSA id C8F2681E634;
	Thu,  3 Apr 2014 23:00:49 +0200 (CEST)
Message-ID: <533DCC01.3040908@fugmann.net>
Date: Thu, 03 Apr 2014 23:00:49 +0200
From: Anders Peter Fugmann <anders@fugmann.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Icedove/24.4.0
MIME-Version: 1.0
To: Gerd Stolpmann <info@gerd-stolpmann.de>
CC: caml-list <caml-list@inria.fr>
References: <533C6FC2.9080406@fugmann.net>	 <9EC7944797D54A8E893837CB84026489@erratique.ch> <1396474937.5787.5.camel@e130>
In-Reply-To: <1396474937.5787.5.camel@e130>
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Content-Transfer-Encoding: 7bit
X-Validation-by: anders@fugmann.net
Subject: Re: [Caml-list] Speeding up compilation

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). 
Do I need to change how opam compiles the ocaml toolchain in order to 
get a 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.
That makes sense.
Thanks

Regards
Anders