Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Re: No /usr/bin/ocamltags in current ocaml package
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Cuihtlauac ALVARADO <cuihtlauac.alvarado@f...>
Subject: Re: [Caml-list] Re: No /usr/bin/ocamltags in current ocaml package
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