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 47CEE7ED34 for ; Tue, 17 Jul 2012 09:27:24 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of berenger@riken.jp) identity=pra; client-ip=134.160.33.161; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of berenger@riken.jp designates 134.160.33.161 as permitted sender) identity=mailfrom; client-ip=134.160.33.161; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of postmaster@postman.riken.jp designates 134.160.33.161 as permitted sender) identity=helo; client-ip=134.160.33.161; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="postmaster@postman.riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqoBAAMTBVCGoCGhmWdsb2JhbAArGroCAQEBAQEICwsHFCeCIAEBBAE4QAYLCxgJFg8JAwIBAgFFEwgBAYgDBgspvCyLPgEZgxGDHAOISYxygRKERINQiU6BUA X-IronPort-AV: E=Sophos;i="4.77,599,1336341600"; d="scan'208";a="150859623" Received: from postman1.riken.jp (HELO postman.riken.jp) ([134.160.33.161]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Jul 2012 09:27:23 +0200 Received: from postman.riken.jp (postman1.riken.jp [127.0.0.1]) by postman.riken.jp (Postfix) with SMTP id 445EF32C03C9 for ; Tue, 17 Jul 2012 16:27:21 +0900 (JST) Received: from [172.27.98.103] (rikad98.riken.jp [134.160.214.98]) by postman.riken.jp (Postfix) with ESMTPA id D393C32A0089 for ; Tue, 17 Jul 2012 16:27:20 +0900 (JST) Message-ID: <500513D8.5050909@riken.jp> Date: Tue, 17 Jul 2012 16:27:20 +0900 From: Francois Berenger User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:13.0) Gecko/20120615 Thunderbird/13.0.1 MIME-Version: 1.0 To: caml-list@inria.fr References: <1648915031.12109301.1342508158790.JavaMail.root@inria.fr> <50051320.4020303@riken.jp> In-Reply-To: <50051320.4020303@riken.jp> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version: 5.6.0.2009776, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2012.7.17.71520 Subject: Re: [Caml-list] ocamlbuild generates .annot files in _build On 07/17/2012 04:24 PM, Francois Berenger wrote: > On 07/17/2012 03:55 PM, Xavier Clerc wrote: >> >> >> ----- 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 > > ocamlbuild already creates symbolic links to the created executables. > Maybe links to the .annot files could be created as well. I just did this locally in fact, as a dirty quick fix. Then, I added in my _tags file lines like: "[my_file].annot": not_hygienic > Regards, > F. > > > 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 >> > > >