caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Stefano Zacchiroli <zack@bononia.it>
To: caml-list@yquem.inria.fr
Cc: Debian Ocaml Maint ML <debian-ocaml-maint@lists.debian.org>
Subject: Re: [Caml-list] Wishes for an easy install of Ocaml
Date: Fri, 24 Dec 2004 12:04:33 +0100	[thread overview]
Message-ID: <20041224110432.GB25189@fistandantilus.takhisis.org> (raw)
In-Reply-To: <41CBDA52.9040608@leledy.org>

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. -!-


  reply	other threads:[~2004-12-24 11:05 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-12-24  8:58 Philippe Lelédy
2004-12-24 11:04 ` Stefano Zacchiroli [this message]
2004-12-24 11:36   ` [Caml-list] " skaller
2004-12-27 15:18   ` Ralf Treinen
2004-12-27 16:54     ` Sven Luther
2004-12-31 16:20       ` Richard Jones
2004-12-31 22:31         ` Sven Luther
2005-01-15 12:29           ` Lionel Elie Mamane
2005-01-02  1:21         ` Jacques Garrigue
2005-01-02 10:50           ` Richard Jones
2005-01-02 11:13             ` Janne Hellsten
2005-01-02 12:16             ` Jacques GARRIGUE
2005-01-02 15:44           ` tuareg-mode v.s. caml-mode (was: Wishes for an easy install of Ocaml) Christophe TROESTLER
2004-12-24 11:22 ` [Caml-list] Wishes for an easy install of Ocaml Christophe TROESTLER
2004-12-24 17:24 ` Sylvain LE GALL
2004-12-24 18:21 ` Matthew O'Connor
2004-12-27 16:35 ` Didier Remy

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20041224110432.GB25189@fistandantilus.takhisis.org \
    --to=zack@bononia.it \
    --cc=caml-list@yquem.inria.fr \
    --cc=debian-ocaml-maint@lists.debian.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).