From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <anil@recoil.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id CDEE27ED34
	for <caml-list@sympa.inria.fr>; Tue, 17 Jul 2012 10:49:18 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  anil@recoil.org) identity=pra; client-ip=89.16.177.154;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="anil@recoil.org"; x-sender="anil@recoil.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="anil@recoil.org"; x-sender="anil@recoil.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@dark.recoil.org) identity=helo;
  client-ip=89.16.177.154;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="anil@recoil.org";
  x-sender="postmaster@dark.recoil.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjEFAHEmBVBZELGagWdsb2JhbAArGrg2BASBRQEBFiYngiABAQV5EAsYLlcGiCQHKbw/iz4BhWZgA5U7gRKIFIlAgV4
X-IronPort-AV: E=Sophos;i="4.77,599,1336341600"; 
   d="scan'208";a="167127455"
Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154])
  by mail1-smtp-roc.national.inria.fr with SMTP; 17 Jul 2012 10:49:18 +0200
Received: (qmail 27781 invoked by uid 634); 17 Jul 2012 08:49:17 -0000
X-Spam-Level: *
X-Spam-Check-By: dark.recoil.org
Received: from cpc7-cmbg14-2-0-cust238.5-4.cable.virginmedia.com (HELO [192.168.1.38]) (86.30.244.239)
  (smtp-auth username remote@recoil.org, mechanism cram-md5)
  by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 17 Jul 2012 09:49:17 +0100
Mime-Version: 1.0 (Apple Message framework v1278)
Content-Type: text/plain; charset=iso-8859-1
From: Anil Madhavapeddy <anil@recoil.org>
In-Reply-To: <1648915031.12109301.1342508158790.JavaMail.root@inria.fr>
Date: Tue, 17 Jul 2012 09:49:16 +0100
Cc: Francois Berenger <berenger@riken.jp>,
 OCaml List <caml-list@inria.fr>
Content-Transfer-Encoding: 7bit
Message-Id: <789025DD-73B1-447D-8BF7-F08920164F9C@recoil.org>
References: <1648915031.12109301.1342508158790.JavaMail.root@inria.fr>
To: Xavier Clerc <xavier.clerc@inria.fr>
X-Mailer: Apple Mail (2.1278)
X-Virus-Checked: Checked by ClamAV on dark.recoil.org
Subject: Re: [Caml-list] ocamlbuild generates .annot files in _build

On 17 Jul 2012, at 07:55, Xavier Clerc wrote:
> 
> For the record, we already have a PR related to this problem:
>  http://caml.inria.fr/mantis/view.php?id=5226
> 
> As you can see there, we have not reached consensus about
> what to do. However, following the ocamlbuild philosophy
> of leaving the source directories untouched and thus to
> produce all files in a build directory, we incline to think
> that the problem should be handled in the tools accessing
> annotation files.

The ocaml-annot tool is an external command that integrates
with pretty much any editor, and looks in multiple locations for
the .annot file (pwd, _build, among others).
https://github.com/avsm/ocaml-annot

Works great for me, as it's pretty much the only fancy editor
thing I use (although that's likely to change with the forthcoming
binannot feature in 4.00!).

-anil