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 A87807FBFE
	for <caml-list@sympa.inria.fr>; Fri, 23 Jan 2015 16:08:25 +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: AhkBACljwlTZRrfGnGdsb2JhbABag1hYBIJ8w0iHEkMBAQEBAREBAQEBAQYNCQkULoQ2FVUhAiYCXxuIKK4bj0iVCIEhkUaBQQWEDY4jg1iDCzaNLoM7AoFnAQoBAQGCG2+BRX4BAQE
X-IPAS-Result: AhkBACljwlTZRrfGnGdsb2JhbABag1hYBIJ8w0iHEkMBAQEBAREBAQEBAQYNCQkULoQ2FVUhAiYCXxuIKK4bj0iVCIEhkUaBQQWEDY4jg1iDCzaNLoM7AoFnAQoBAQGCG2+BRX4BAQE
X-IronPort-AV: E=Sophos;i="5.09,454,1418079600"; 
   d="scan'208";a="118345799"
Received: from relay6-d.mail.gandi.net ([217.70.183.198])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 23 Jan 2015 16:08:25 +0100
Received: from mfilter10-d.gandi.net (mfilter10-d.gandi.net [217.70.178.139])
	by relay6-d.mail.gandi.net (Postfix) with ESMTP id 32C3CFB8E0
	for <caml-list@inria.fr>; Fri, 23 Jan 2015 16:08:25 +0100 (CET)
X-Virus-Scanned: Debian amavisd-new at mfilter10-d.gandi.net
Received: from relay6-d.mail.gandi.net ([217.70.183.198])
	by mfilter10-d.gandi.net (mfilter10-d.gandi.net [10.0.15.180]) (amavisd-new, port 10024)
	with ESMTP id L-lRMFk+5b9L for <caml-list@inria.fr>;
	Fri, 23 Jan 2015 16:08:23 +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 D3F7CFB8E6
	for <caml-list@inria.fr>; Fri, 23 Jan 2015 16:08:23 +0100 (CET)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 7bit
Date: Fri, 23 Jan 2015 15:08:23 +0000
From: Dario Teixeira <dario.teixeira@nleyten.com>
To: caml-list <caml-list@inria.fr>
Message-ID: <7bca26c097b73f653bd8bbfa1a07eaa8@nleyten.com>
X-Sender: dario.teixeira@nleyten.com
User-Agent: Roundcube Webmail/0.9.5
Subject: [Caml-list] Forcing OCamlbuild to compile a file before another

Hi,

How does one force OCamlbuild to compile a file before another
when it cannot automatically infer their dependency?

For instance, compilation fails because OCamlbuild tries to compile
lambwiki_parser.mly before lambwiki.ml. To get around it, I added
the following to the "After_rules" of my dispatcher:

dep ["menhir"; "file:lambwiki_parser.mly"] ["lambwiki.cmo"]

My assumption was that this told OCamlbuild that using Menhir to
compile file lambwiki_parser.mly added an explicit dependency
on lambwiki.cmo (which in turn can be obtained by compiling
lambwiki.ml).  This doesn't work, however, so perhaps my
mental model of how OCamlbuild works is not correct.

Any ideas on how to get this to work as intended?

Thanks in advance for your attention!
Best regards,
Dario Teixeira