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 7AA957FC18 for ; Sun, 15 Feb 2015 14:55:13 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dario.teixeira@nleyten.com) identity=pra; client-ip=217.70.183.198; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="dario.teixeira@nleyten.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dario.teixeira@nleyten.com) identity=mailfrom; client-ip=217.70.183.198; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="dario.teixeira@nleyten.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay6-d.mail.gandi.net) identity=helo; client-ip=217.70.183.198; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="postmaster@relay6-d.mail.gandi.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AxAQCkpOBUm8a3Rtlbg1hegn+/M4V1AoEOQwEBAQEBARABAQEBAQYLCwkULoQNAQQBIxVGCwQHGgImAgJXIYgdDAm4L5Y/AQEIAQEBAQEZBIEhiWuEdBaCUoFCBZMPhniLLoZFAoQQgjN/AQEB X-IPAS-Result: A0AxAQCkpOBUm8a3Rtlbg1hegn+/M4V1AoEOQwEBAQEBARABAQEBAQYLCwkULoQNAQQBIxVGCwQHGgImAgJXIYgdDAm4L5Y/AQEIAQEBAQEZBIEhiWuEdBaCUoFCBZMPhniLLoZFAoQQgjN/AQEB X-IronPort-AV: E=Sophos;i="5.09,581,1418079600"; d="scan'208";a="121833151" Received: from relay6-d.mail.gandi.net ([217.70.183.198]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 15 Feb 2015 14:55:13 +0100 Received: from mfilter17-d.gandi.net (mfilter17-d.gandi.net [217.70.178.145]) by relay6-d.mail.gandi.net (Postfix) with ESMTP id C579DFB887 for ; Sun, 15 Feb 2015 14:55:12 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mfilter17-d.gandi.net Received: from relay6-d.mail.gandi.net ([217.70.183.198]) by mfilter17-d.gandi.net (mfilter17-d.gandi.net [10.0.15.180]) (amavisd-new, port 10024) with ESMTP id IcGJzEgukCj3 for ; Sun, 15 Feb 2015 14:55:11 +0100 (CET) X-Originating-IP: 10.58.1.142 Received: from webmail.gandi.net (unknown [10.58.1.142]) (Authenticated sender: dario.teixeira@nleyten.com) by relay6-d.mail.gandi.net (Postfix) with ESMTPA id 7AF6BFB882 for ; Sun, 15 Feb 2015 14:55:11 +0100 (CET) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Date: Sun, 15 Feb 2015 13:55:11 +0000 From: Dario Teixeira To: caml-list@inria.fr In-Reply-To: References: <7bca26c097b73f653bd8bbfa1a07eaa8@nleyten.com> <20150123164111.GA16664@yquem.inria.fr> <0fd907ee06bedeff816160b9e7b9c027@nleyten.com> <6829d3482c94fbe2e22dd1574618e86e@nleyten.com> <5c76729753733a2ccbf1cad96879c312@nleyten.com> <1ee7eec964558b9bcb4f0d5650449440@nleyten.com> <5f5c603d077133e065b82db1eed43935@nleyten.com> <9c4bb489982617ebcfb513a3c6507e52@nleyten.com> Message-ID: <9a5e685ca5e3159ae6315eda2133ed68@nleyten.com> X-Sender: dario.teixeira@nleyten.com User-Agent: Roundcube Webmail/0.9.5 Subject: Re: [Caml-list] Forcing OCamlbuild to compile a file before another Hi, > Here is a preliminary patch to implement the [ocamldep -paths] option. > https://github.com/ocaml/ocaml/pull/146 > > I would like to experiment with the use of the option from ocamlbuild > itself (or hear back from someone's experiments) to make sure the > feature is actually useful. Unfortunately I won't have time to do much > myself in the next two weeks, so that would not be before March. Thanks Gabriel, I'm looking forward to trying this out. One little snag though: even after an update, the compiler switch for 4.03.0+pr146 does not show up in OPAM. Is it just a matter of time until the automation makes it available, or does someone have to flip a switch first? Kind regards, Dario Teixeira