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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 2FB0A7ED34 for ; Tue, 17 Jul 2012 08:55:59 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.77,599,1336341600"; d="scan'208";a="150856295" Received: from zmbs4.inria.fr ([128.93.142.17]) by mail4-relais-sop.national.inria.fr with ESMTP; 17 Jul 2012 08:55:58 +0200 Date: Tue, 17 Jul 2012 08:55:58 +0200 (CEST) From: Xavier Clerc To: Francois Berenger , OCaml List Cc: xavier clerc Message-ID: <1648915031.12109301.1342508158790.JavaMail.root@inria.fr> In-Reply-To: <5004F450.9060002@riken.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Originating-IP: [128.93.57.40] X-Mailer: Zimbra 7.2.0_GA_2669 (ZimbraWebClient - SAF3 (Mac)/7.2.0_GA_2669) Subject: Re: [Caml-list] ocamlbuild generates .annot files in _build ----- Mail original ----- > Hello, > > Shouldn't it generate theses files where the source files > are? > > The emacs plugin can no more find the types in case > the .annot files are not where the source file is. 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. Regards, Xavier Clerc