Version française
Home     About     Download     Resources     Contact us    
Browse thread
Wishes for an easy install of Ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Stefano Zacchiroli <zack@b...>
Subject: Re: [Caml-list] Wishes for an easy install of Ocaml
On Fri, Dec 24, 2004 at 09:58:58AM +0100, Philippe Lelédy wrote:
> But because they have absolutly no Unix experience,  I'd like to say 
> them  that  installing  Ocaml is  as  simple as

Your problem seems to be specific to the Debian GNU/Linux distribution
whereas this mailing list is for discussion about the OCaml language. A
more suited mailing list is debian-ocaml-maint@lists.debian.org (Cc-ed),
please follow-up to that mailing list.

Anyway ...

> apt-get install ocaml (for instance)

This line _is_ enough, tuareg mode is not strictly necessary to use
ocaml.  Still, you can avoid the second step by simply telling your
students to execude "apt-get install ocaml tuareg".

> but it is not enough, adding some obscure lines to .emacs is necessary 
> b/c the old Caml mode is effective by default but Tuareg is not. Time 
> spent to explain that is very counter-productive to Unix new-bies. 
> Debian tuareg-mode does half the job by adding tuareg-mode directory to 
> emacs load-path, but manual addition of (load "append-tuareg") is still 
> necessary.

I'm not an expert Emacs user, but this issue is definitely related to
the tuareg-mode debian package.  You can get in touch with that package
maintainer and/or file a whishlist bug report against it in order to
automate the emacs configuration.

Ralf (or someone else of the debian ocaml maintainer with Emacs skill),
could you please comment on this and other emacs related needs which
could possibly by automated on tuareg-mode installation?

Cheers.

-- 
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-