From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2B94KhR024655 for ; Sun, 11 Mar 2012 10:04:21 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AogCAIdpXE9KfVM2k2dsb2JhbABBtTkIIgEBAQEJCQsJFAQjggkBAQEEEgIsARsdAQMMBgULDS4hAQERAQUBHAYTIodonTMKi3iCcYQXP4h0AQULiTmHPQSNeIdUiyuDGj2EBQ X-IronPort-AV: E=Sophos;i="4.73,566,1325458800"; d="scan'208";a="135437551" Received: from mail-ee0-f54.google.com ([74.125.83.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Mar 2012 10:04:15 +0100 Received: by eekd17 with SMTP id d17so934946eek.27 for ; Sun, 11 Mar 2012 01:04:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=id4rXN4KfnhYRfVcDhh5/aDIzVgeRNCKAj5/7uFrCAQ=; b=U00g45VvLS2VVwmu/yJBxjojiCRu5PUBBrtfV9/y+z+p19FynGiyfqlR64jS27G/To /TILiIY/ALh7BvcdF8xyUk/GVKVa8gZlOnV4DE6aV88obxiJHncIlexAHas+5xVOrMFr pcUBeym5TkQFDxHRRzaLUozeHq3HHXpxloMALfZ4vlKgZKADLnSxYsDhLGytWUCulfjP Pbk+HJq/HuL5kAvseSQE0ZNXGBWGkeGLiDEo0Gew9EdZUyFY1LDMJSbNbtNkKiImZLmy mLjAaha+I0VrYwOVHECluBDyhKndlRkwxTGmWf7AOM0wNAKHl56GlaDG0kRVigTbtnmm NZdg== MIME-Version: 1.0 Received: by 10.14.206.135 with SMTP id l7mr1264988eeo.103.1331456654640; Sun, 11 Mar 2012 01:04:14 -0800 (PST) Received: by 10.213.3.4 with HTTP; Sun, 11 Mar 2012 01:04:14 -0800 (PST) In-Reply-To: References: Date: Sun, 11 Mar 2012 10:04:14 +0100 Message-ID: From: Adrien To: Gabriel Scherer Cc: SerP , caml-list Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Very slow compilation Hi, On 11/03/2012, Gabriel Scherer wrote: > I can't comment on the type-checker internals, but a general first > step would be to make sure that you don't recompile things that you > don't need to. There's another "easy" thing to try: using .opt version of the ocaml binaries. It's not often done by default and I've sometimes noticed 5 to 6 times faster builds with them (of course, on files which were slow to build). Hope this helps, Adrien Nader