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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 82A567FC18 for ; Sun, 15 Feb 2015 11:42:55 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.181 as permitted sender) identity=mailfrom; client-ip=209.85.223.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; 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@mail-ie0-f181.google.com) identity=helo; client-ip=209.85.223.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ie0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AFAgDkd+BUm7XfVdFbg1haBIJ/r1yPXIVxAoEGB0MBAQEBAQEQAQEBAQEGCwsJFC6EDQEBBBIRHQEbEgsBAwwGBQsNAgIJHQICIgERAQUBChIGEwgKAg6HdgEDEQ2sDT4xiy6Ba4J3i0QKGScDClSEcgEBAQEBBQEBAQEBFwEFDoETiWuEbQeCaIFCBYRWCo4vhWCBGDiNf4F0EiOBDAmEET0xgkMBAQE X-IPAS-Result: A0AFAgDkd+BUm7XfVdFbg1haBIJ/r1yPXIVxAoEGB0MBAQEBAQEQAQEBAQEGCwsJFC6EDQEBBBIRHQEbEgsBAwwGBQsNAgIJHQICIgERAQUBChIGEwgKAg6HdgEDEQ2sDT4xiy6Ba4J3i0QKGScDClSEcgEBAQEBBQEBAQEBFwEFDoETiWuEbQeCaIFCBYRWCo4vhWCBGDiNf4F0EiOBDAmEET0xgkMBAQE X-IronPort-AV: E=Sophos;i="5.09,581,1418079600"; d="scan'208";a="100117059" Received: from mail-ie0-f181.google.com ([209.85.223.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Feb 2015 11:42:34 +0100 Received: by iebtr6 with SMTP id tr6so17952695ieb.10 for ; Sun, 15 Feb 2015 02:42:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=XvlcY8wDDvGQyVEUBqmfE/K/1NY6OUs39LO45qv/ByA=; b=wLzdX49+Fa0OAX3JlO6J8uhddlEe0noEp3PnbD5xMvSWWvAOGcTje98O6WcerskYDq 8+VnQnH5xW4g7dQMQl4AsawMKz6rxK6RzdDFZd8FcsIrqrrTFNAUd4k2oAHQRYGPpt4D FyWSZg4/Il7jdJAQZEtAgL5d3QBgddA/iKX86SPc9cXPU5GzFYX0pH5/T+i3sC4smayF w4pj0oFhvyl0x5Un6coYuLoU1h9M4VaTjpTpWABjOmuhPFmJDYnfBOcRJpetvWZS/cPY WDzE2s7DDXAm0eBu2I5PfhxbHdklYiZWLUhLzzlQ6Uj4IBGJKs75d0TfH7MN3JqE2QuT zosQ== X-Received: by 10.50.30.202 with SMTP id u10mr15118695igh.35.1423996952677; Sun, 15 Feb 2015 02:42:32 -0800 (PST) MIME-Version: 1.0 Received: by 10.36.13.195 with HTTP; Sun, 15 Feb 2015 02:41:51 -0800 (PST) In-Reply-To: <9c4bb489982617ebcfb513a3c6507e52@nleyten.com> 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> From: Gabriel Scherer Date: Sun, 15 Feb 2015 11:41:51 +0100 Message-ID: To: Dario Teixeira Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Forcing OCamlbuild to compile a file before another 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. On Fri, Feb 6, 2015 at 7:58 PM, Dario Teixeira wrote: > Hi, > >> I don't expect touching OCamldep to be very difficult. I'd be glad to >> offer the time to provide a patch for the -paths option; ocamldep is a >> small codebase and I don't expect much reluctance from the maintainers >> to add a new feature (the code should be simple, and not affect >> existing behaviors). That may require that you wait for the next >> release in a few months; if you really needed to, you can probably >> hack a simple external tool with the same feature today using the >> compiler-libs. > > > Thanks Gabriel: your work would be much appreciated, and I would be glad > to test it both in dummy examples and in a real library (namely Lambdoc). > As for the timing, it won't be a problem for me to wait for 4.03 before > making a 1.0-final release of Lambdoc, particularly if the compiler team > sticks to the recent pattern of gifting the community with a summer release. > Moreover, it wouldn't surprise me if some more edge cases are found in the > meantime... > > Best regards, > Dario Teixeira > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs