From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dario.teixeira@nleyten.com>
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 E747B7FBFE
	for <caml-list@sympa.inria.fr>; Fri, 23 Jan 2015 20:09:59 +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.197;
  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.197;
  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@relay5-d.mail.gandi.net) identity=helo;
  client-ip=217.70.183.197;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dario.teixeira@nleyten.com";
  x-sender="postmaster@relay5-d.mail.gandi.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhkBAOybwlTZRrfFnGdsb2JhbABag1hYBIJ8w0uFeQKBF0MBAQEBAREBAQEBAQYNCQkULoQNAQQBIxVBBQsEBxoCJgICVyGIHAy9RJQ+AQEBBwEBAQEBHYEhjlcHFoJSgUEFkjCHGZBpAoQQb4FFfgEBAQ
X-IPAS-Result: AhkBAOybwlTZRrfFnGdsb2JhbABag1hYBIJ8w0uFeQKBF0MBAQEBAREBAQEBAQYNCQkULoQNAQQBIxVBBQsEBxoCJgICVyGIHAy9RJQ+AQEBBwEBAQEBHYEhjlcHFoJSgUEFkjCHGZBpAoQQb4FFfgEBAQ
X-IronPort-AV: E=Sophos;i="5.09,455,1418079600"; 
   d="scan'208";a="118376993"
Received: from relay5-d.mail.gandi.net ([217.70.183.197])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 23 Jan 2015 20:09:59 +0100
Received: from mfilter17-d.gandi.net (mfilter17-d.gandi.net [217.70.178.145])
	by relay5-d.mail.gandi.net (Postfix) with ESMTP id 6E39141C06F;
	Fri, 23 Jan 2015 20:09:59 +0100 (CET)
X-Virus-Scanned: Debian amavisd-new at mfilter17-d.gandi.net
Received: from relay5-d.mail.gandi.net ([217.70.183.197])
	by mfilter17-d.gandi.net (mfilter17-d.gandi.net [10.0.15.180]) (amavisd-new, port 10024)
	with ESMTP id TPgwt4KQHR8X; Fri, 23 Jan 2015 20:09:58 +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 relay5-d.mail.gandi.net (Postfix) with ESMTPA id 006EF41C06A;
	Fri, 23 Jan 2015 20:09:57 +0100 (CET)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 7bit
Date: Fri, 23 Jan 2015 19:09:57 +0000
From: Dario Teixeira <dario.teixeira@nleyten.com>
To: Francois.Pottier@inria.fr
Cc: caml-list <caml-list@inria.fr>
In-Reply-To: <20150123164111.GA16664@yquem.inria.fr>
References: <7bca26c097b73f653bd8bbfa1a07eaa8@nleyten.com>
 <20150123164111.GA16664@yquem.inria.fr>
Message-ID: <0fd907ee06bedeff816160b9e7b9c027@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,

> I am not sure. But: why isn't the dependency explicit in
> lambwiki_parser.mly? Doesn't it mention the module name
> "Lambwiki" somewhere? If not, perhaps you could add a
> fake dependency by declaring "module L = LambWiki" at
> the top of lambwiki_parser.mly. Would that help?

I'm still poking at it, but it seems there may be a bug in OCamlbuild,
or at least a difference of opinion. (I am using module aliases and
-no-alias-deps, and some of these waters are uncharted).

In the tags file, I had declared a tag "open(Lambwiki)" for file
<lambwiki_parser.mly>.  I assumed this would automatically add a
dependency on lambwiki.ml for lambwiki_parser.mly.

Now, lambwiki.ml contains only module aliases, for instance:

module Parser = Lambwiki_parser
module Scanner = Lambwiki_scanner

To avoid a circular dependency, in myocamlbuild I use the non_dependency
function (part of OCamlbuild's API) to declare that lambwiki.ml does not
in fact depend on Lambwiki_parser and Lambwiki_scanner.

I wonder if the tooling expects module aliases to produce dependencies
the other way around, ie, Lambwiki_parser depends on Lambwiki but not
vice-versa.  This is not clear to me.

Anyway, adding a dummy dependency as you suggested does the trick for
this particular problem.

Kind regards,
Dario Teixeira