From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rixed@happyleptic.org>
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 CD5CD8179A
	for <caml-list@sympa.inria.fr>; Fri, 26 Jul 2013 08:49:17 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=pra; client-ip=5.135.156.187;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=mailfrom;
  client-ip=5.135.156.187;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@pim.happyleptic.org) identity=helo;
  client-ip=5.135.156.187;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="postmaster@pim.happyleptic.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ag8FADEb8lEFh5y7/2dsb2JhbABagwa+SIEUFnSCJQEFOk8LIRMSDwUoIYgnuRmQBIMSbgOXXgGGI4sqgxY
X-IPAS-Result: Ag8FADEb8lEFh5y7/2dsb2JhbABagwa+SIEUFnSCJQEFOk8LIRMSDwUoIYgnuRmQBIMSbgOXXgGGI4sqgxY
X-IronPort-AV: E=Sophos;i="4.89,748,1367964000"; 
   d="scan'208";a="27379298"
Received: from pim.happyleptic.org ([5.135.156.187])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 26 Jul 2013 08:49:17 +0200
Received: from [82.229.213.209] (helo=dell.happyleptic.org)
	by pim.happyleptic.org with esmtp (Exim 4.80)
	(envelope-from <rixed@happyleptic.org>)
	id 1V2bq0-0005OE-8q
	for caml-list@inria.fr; Fri, 26 Jul 2013 08:49:16 +0200
Received: from rixed by dell.happyleptic.org with local (Exim 4.80)
	(envelope-from <rixed@happyleptic.org>)
	id 1V2bpu-0003SB-SI
	for caml-list@inria.fr; Fri, 26 Jul 2013 08:49:10 +0200
Date: Fri, 26 Jul 2013 08:49:10 +0200
From: rixed@happyleptic.org
To: caml-list <caml-list@inria.fr>
Message-ID: <20130726064910.GA13198@dell.happyleptic.org>
References: <51ECF4EB.1060301@libertysurf.fr>
 <1672419877.217810363.1374484053368.JavaMail.root@zimbra27-e5.priv.proxad.net>
 <20130723153956.605104b3@xivilization.net>
 <CAFrFfuGD-gzfZx6Z44qo5z_3WQohvnJ8YuRU40w74Nkt-2fCjA@mail.gmail.com>
 <51F1CC76.60802@riken.jp>
 <CAKziXDXz7Ev9HPaoAaGK_DsLuaJZFtJkrMv0203Uofbmys5Aaw@mail.gmail.com>
 <20130726054658.GA20086@notk.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20130726054658.GA20086@notk.org>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] which ocaml build system

-[ Fri, Jul 26, 2013 at 07:46:58AM +0200, Adrien Nader ]----
> > make -j<number > should work.
> 
> You depend on ocamldep however and it has some issues (it's a fairly
> simple tool that can get things wrong).

Many makefiles have a distinct target for dependencies, which helps here
(iff the deps do not change very often). Phasing out ocamldep also helps
wrt recompilation speed.