From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 062FCBB84 for ; Tue, 10 Feb 2009 16:50:32 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkBAL8wkUlA6ba7kGdsb2JhbACUBT8BAQEBBwsMBxEDrjQIfioIjxIBAwEDglkIgTYGgjaBJg X-IronPort-AV: E=Sophos;i="4.38,187,1233529200"; d="scan'208";a="22765689" Received: from nf-out-0910.google.com ([64.233.182.187]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Feb 2009 16:50:31 +0100 Received: by nf-out-0910.google.com with SMTP id e27so5188nfd.7 for ; Tue, 10 Feb 2009 07:50:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :user-agent:mime-version:to:subject:references:in-reply-to :content-type:content-transfer-encoding; bh=E4D1ap/E9OWqyoziDCJrdtUFDI11hcDBsjLcpBTaOik=; b=aAIVvb0/g2ravn1U6mNDIrEfaPE9Ikau7l15l2RtPxFFTjqL8hi4xuazTxStzEMjl+ umhZLZeS3InONxurkPxus+Bod1tosN6qM8s75uf1LwJSuG9J10MgqFGqrKKSzyLdtxtN qmdK14weUP9bTCOEYejfpnm7r8NY0mUW7VIFA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:user-agent:mime-version:to:subject :references:in-reply-to:content-type:content-transfer-encoding; b=AhkMK2LE6KP6L5wjjUDvZOUzIfWwbuQXxWKGnFGZdMZJ9EVdDj9xMnyWJJIlBgpdlx 9+KWaRLt5bHA1/5cLQJRdS/LBL/KvnugCdaOeB66cr/4KpMAOTuSODjOnrI7hnSqnV+d lXEaLwyUqW/W3jlkt5zsRmMyTqN+EtyFqRdms= Received: by 10.210.66.13 with SMTP id o13mr4899655eba.21.1234281031132; Tue, 10 Feb 2009 07:50:31 -0800 (PST) Received: from ?192.168.0.102? (papillon.metalscan.fr [212.73.210.234]) by mx.google.com with ESMTPS id 23sm11761311eya.46.2009.02.10.07.50.30 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 10 Feb 2009 07:50:30 -0800 (PST) Message-ID: <4991A245.7070301@gmail.com> Date: Tue, 10 Feb 2009 16:50:29 +0100 From: Matthieu Dubuget Reply-To: matthieu.dubuget@gmail.com User-Agent: Thunderbird 2.0.0.19 (X11/20090105) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Re: ocamlbuild documentation References: <1233936696.6216.65.camel@Blefuscu> <0520EBEC-B30C-4D83-9153-A72BC3C986BF@erratique.ch> <499036C6.5070504@lri.fr> <200902091828.30057.jon@ffconsultancy.com> <49909F14.6010601@doomeer.com> <87vdriwfmd.fsf@fel.cvut.cz> <49918EBA.9050509@gmail.com> <87k57ywc0k.fsf@fel.cvut.cz> In-Reply-To: <87k57ywc0k.fsf@fel.cvut.cz> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; matthieu:01 dubuget:01 matthieu:01 dubuget:01 restrictive:01 mli:01 nativ:01 findlib:01 emacs:01 tuareg:01 subdirectory:01 emacs:01 tuareg:01 ocaml:01 distrib:01 Jan Kybic a =E9crit : >> your _tags file is too restrictive. Your pkg_=85 are taken into accoun= t >> only for >> .ml and .mli files. >> At link stage, there are not used >> What if you add " or" on the first line? >> =20 > > Yes, it works!=20 > =20 Nice. > =20 >> I think the findlib packages are simply not used during the final step= ? >> =20 >>> By the way, how am I supposed to use the caml-types-show-type feature= >>> in Emacs Tuareg mode, if ocamlbuild forces all the annot files into >>> the _build subdirectory? >>> =20 >>> =20 >> caml-type.el which is used by emacs, is aware of this. >> =20 > > Not the tuareg mode version 1.45.6 which I am using. But it is > probably just a matter of upgrading, I will try that later. > =20 caml-type.el comes from ocaml distrib. And tuareg uses it. I have the same version, and it works. when I give -cflag -dtypes to ocamlbuild, of course. Salutations Matt