From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA19293; Thu, 17 Jan 2002 18:59:43 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA19364 for caml-list@pauillac.inria.fr; Thu, 17 Jan 2002 18:59:43 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA08534 for ; Thu, 17 Jan 2002 11:33:08 +0100 (MET) Received: from p-mail2.rd.francetelecom.com (p-mail2.rd.francetelecom.com [193.49.124.32]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id g0HAX8r21063 for ; Thu, 17 Jan 2002 11:33:08 +0100 (MET) Received: by p-voyageur.rd.francetelecom.fr with Internet Mail Service (5.5.2653.19) id ; Thu, 17 Jan 2002 11:28:37 +0100 Received: from francetelecom.com (lat4148.rd.francetelecom.fr [10.193.6.100]) by l-mhs1.rd.francetelecom.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13) id ZH14MK4C; Thu, 17 Jan 2002 11:28:49 +0100 Date: Thu, 17 Jan 2002 11:28:48 +0100 From: Cuihtlauac ALVARADO To: Sven Cc: Ian Zimmerman , OCAML Subject: Re: [Caml-list] Re: No /usr/bin/ocamltags in current ocaml package Message-ID: <20020117112848.D1034@francetelecom.com> References: <20020116162506.A7475@dpt-info.u-strasbg.fr> <86k7uitgfs.fsf@speakeasy.org> <20020116184012.A9132@dpt-info.u-strasbg.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5.1i In-Reply-To: <20020116184012.A9132@dpt-info.u-strasbg.fr>; from luther@dpt-info.u-strasbg.fr on Wed, Jan 16, 2002 at 06:40:12PM +0100 Organization: France Telecom R&D Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I'm not so sure to get it all right, but it reminds me that we forgot to announce the new Otags release (for Ocaml 3.04). Jean-Francois has just finished to upload it at : http://moninjf.multimania.com/Ocaml/otags-3.04.tar.gz Nothing very new in this release, except the version number which matches Ocaml's. We've tested it on Coq V7.2, it worked. Like the last version it is now stand alone, you don't need anything but Ocaml to compile. Hope it can help; comments, bugs and misc. are wellcome. On Wed, Jan 16, 2002 at 06:40:12PM +0100, Sven wrote: > On Wed, Jan 16, 2002 at 08:21:27AM -0800, Ian Zimmerman wrote: > > If I remember right, ocamltags was never installed even if you did > > "make install" in the emacs subdirectory. You have to call a special > > target, like "make installtags" or something. Sven, please look at > > the Makefile in the emacs subdirectory. > > Yes, you need to do make install-ocamltags in the emacs directory. > > Friendly, > > Sven Luther > ------------------- > Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ > To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr -- Cuihtlauac ALVARADO - France Telecom R&D - DTL/MSV 2, avenue Pierre Marzin - 22307 Lannion - France Tel: +33 2 96 05 32 73 - Mob: +33 6 08 10 80 41 ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr