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 CC8957ED34 for ; Tue, 17 Jul 2012 16:28:27 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bardou@lsv.ens-cachan.fr) identity=pra; client-ip=188.165.56.217; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bardou@lsv.ens-cachan.fr"; x-sender="bardou@lsv.ens-cachan.fr"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bardou@lsv.ens-cachan.fr) identity=mailfrom; client-ip=188.165.56.217; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bardou@lsv.ens-cachan.fr"; x-sender="bardou@lsv.ens-cachan.fr"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mo3.mail-out.ovh.net) identity=helo; client-ip=188.165.56.217; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bardou@lsv.ens-cachan.fr"; x-sender="postmaster@mo3.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkgBAJV1BVC8pTjZmWdsb2JhbAArGrl0AQEBAQEICwsHFCeCIAEBBThAEQsYCRYPCQMCAQIBRRMIAogJBAcpvHqLQBqDEYMcA5ZPhGiDLolBgV0 X-IronPort-AV: E=Sophos;i="4.77,603,1336341600"; d="scan'208";a="150927340" Received: from 16.mo3.mail-out.ovh.net (HELO mo3.mail-out.ovh.net) ([188.165.56.217]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Jul 2012 16:28:27 +0200 Received: from mail607.ha.ovh.net (b7.ovh.net [213.186.33.57]) by mo3.mail-out.ovh.net (Postfix) with SMTP id 177A4FF985A for ; Tue, 17 Jul 2012 16:33:49 +0200 (CEST) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 17 Jul 2012 16:28:44 +0200 Received: from unknown (HELO ?138.231.81.39?) (romain%bardou.fr@138.231.81.39) by ns0.ovh.net with SMTP; 17 Jul 2012 16:28:42 +0200 Message-ID: <5005769B.9020706@lsv.ens-cachan.fr> Date: Tue, 17 Jul 2012 16:28:43 +0200 From: Romain Bardou User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.4) Gecko/20120510 Icedove/10.0.4 MIME-Version: 1.0 To: caml-list@inria.fr X-Ovh-Mailout: 178.32.228.3 (mo3.mail-out.ovh.net) References: <1354601606.12118372.1342510290266.JavaMail.root@inria.fr> In-Reply-To: <1354601606.12118372.1342510290266.JavaMail.root@inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Ovh-Tracer-Id: 8546143244981360416 X-Ovh-Remote: 138.231.81.39 () X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-OVH-SPAMSTATE: OK X-OVH-SPAMSCORE: 0 X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeegkedrjeekucetufdoteggodetrfdofgetucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenucenucfhrhhomheptfhomhgrihhnuceurghrughouhcuoegsrghrughouheslhhsvhdrvghnshdqtggrtghhrghnrdhfrheqnecujfgurhepkfffhfgfggfvufhfjggtgfesthejrgdttdefud X-Spam-Check: DONE|U 0.500891/N X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeegkedrjeekucetufdoteggodetrfdofgetucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenucenucfhrhhomheptfhomhgrihhnuceurghrughouhcuoegsrghrughouheslhhsvhdrvghnshdqtggrtghhrghnrdhfrheqnecujfgurhepkfffhfgfggfvufhfjggtgfesthejrgdttdefud X-Validation-by: bardou@lsv.ens-cachan.fr Subject: Re: [Caml-list] ocamlbuild generates .annot files in _build On 17/07/2012 09:31, Xavier Clerc wrote: > ----- Mail original ----- >> 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. > > Yes, this is perfectly right, and also already discussed > in the aforementioned PR. However, such links are scarce > while links to annot files (or annot files themselves, for > the matter) would really clutter the source directories. > > At least, it is how I see things, but I am very interested > to gather input on the subject in order to reach consensus > on how to settle the issue. The fact that Ocamlbuild does not pollute my working directory is a key feature to me and I would frown at everything which would compromise it. I don't even like the links to the executables and I call Ocamlbuild with the -no-links option. Tuareg has been able to find the .annot files in the _build directory for some time now. Cheers, -- Romain Bardou