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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id C3EF57F89E
	for <caml-list@sympa.inria.fr>; Wed,  2 Apr 2014 22:49:36 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  anders@fugmann.net) identity=pra; client-ip=90.184.182.235;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="anders@fugmann.net";
  x-sender="anders@fugmann.net"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@fw.fugmann.net) identity=helo;
  client-ip=90.184.182.235;
  receiver=mail3-smtp-sop.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: AqMEAJ92PFNauLbr/2dsb2JhbABZgmWEPb1Qgw6BOXSCJQEBAQQjDwEFQAEQCxgCAgUWCwICCQMCAQIBRQYNAQcCh3YDrSaiCxeBKY1HB4JvgUkBA6sRgzI
X-IPAS-Result: AqMEAJ92PFNauLbr/2dsb2JhbABZgmWEPb1Qgw6BOXSCJQEBAQQjDwEFQAEQCxgCAgUWCwICCQMCAQIBRQYNAQcCh3YDrSaiCxeBKY1HB4JvgUkBA6sRgzI
X-IronPort-AV: E=Sophos;i="4.97,782,1389740400"; 
   d="scan'208";a="55301848"
Received: from 0405ds1-vaer.1.fullrate.dk (HELO fw.fugmann.net) ([90.184.182.235])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 02 Apr 2014 22:49:36 +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 F1FDC81099D;
	Wed,  2 Apr 2014 22:49:34 +0200 (CEST)
Message-ID: <533C77DE.1010903@fugmann.net>
Date: Wed, 02 Apr 2014 22:49:34 +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: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= <daniel.buenzli@erratique.ch>
CC: caml-list <caml-list@inria.fr>
References: <533C6FC2.9080406@fugmann.net> <9EC7944797D54A8E893837CB84026489@erratique.ch>
In-Reply-To: <9EC7944797D54A8E893837CB84026489@erratique.ch>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Validation-by: anders@fugmann.net
Subject: Re: [Caml-list] Speeding up compilation

On 02/04/14 22:34, Daniel Bünzli wrote:
>
>
> Le mercredi, 2 avril 2014 à 22:14, Anders Peter Fugmann a écrit :
>
>> 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="camlp4.opt"
Actually yes. That was my first attempt :-)

But it seems ocamlfind does does not allow overriding camlp4 binary 
(from reading the source code). Also I don't seem to have a camlp4.opt.

Regards
Anders