From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oliver@first.in-berlin.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 359907EE49
	for <caml-list@sympa.inria.fr>; Mon, 18 Feb 2013 15:16:54 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  oliver@first.in-berlin.de) identity=pra;
  client-ip=192.109.42.8;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="oliver@first.in-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  oliver@first.in-berlin.de) identity=mailfrom;
  client-ip=192.109.42.8;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="oliver@first.in-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@einhorn.in-berlin.de) identity=helo;
  client-ip=192.109.42.8;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="postmaster@einhorn.in-berlin.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: At8DAIg2IlHAbSoIe2dsb2JhbABFhkm0SIUSgQUWDgEBFiYEI4IfAQEFI1YQCwkPAgIFIQICDwUYMYglBK1WkgsVgQ6MeV49B4ItgRMDjiSIB5Nh
X-IPAS-Result: At8DAIg2IlHAbSoIe2dsb2JhbABFhkm0SIUSgQUWDgEBFiYEI4IfAQEFI1YQCwkPAgIFIQICDwUYMYglBK1WkgsVgQ6MeV49B4ItgRMDjiSIB5Nh
X-IronPort-AV: E=Sophos;i="4.84,688,1355094000"; 
   d="scan'208";a="3365169"
Received: from einhorn.in-berlin.de ([192.109.42.8])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Feb 2013 15:16:53 +0100
X-Envelope-From: oliver@first.in-berlin.de
Received: from first (e178016215.adsl.alicedsl.de [85.178.16.215])
	(authenticated bits=0)
	by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id r1IEGpxk024084
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT);
	Mon, 18 Feb 2013 15:16:51 +0100
Received: by first (Postfix, from userid 1000)
	id 426F115400E6; Mon, 18 Feb 2013 15:16:51 +0100 (CET)
Date: Mon, 18 Feb 2013 15:16:51 +0100
From: oliver <oliver@first.in-berlin.de>
To: Roberto Di Cosmo <roberto@dicosmo.org>
Cc: caml-list@inria.fr
Message-ID: <20130218141651.GH1854@siouxsie>
References: <20130218072233.GA15780@siouxsie>
 <CAJBwKuUzOa+SwJ=EKw_+X5zRhe6zzt_krzmGcpqjmohtZHXihg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <CAJBwKuUzOa+SwJ=EKw_+X5zRhe6zzt_krzmGcpqjmohtZHXihg@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8
Subject: Re: [Caml-list] Old and new OCaml installed on same machine?

Hello,


On Mon, Feb 18, 2013 at 08:34:35AM +0100, Roberto Di Cosmo wrote:
>    Dear Oliver,
>        just use the Opam package manager for OCaml and you will be fine.
[...]


OPAM needs ocaml (>= 3.12.1)
and I have 3.11.2.

So this was not working.

But on IRC some people told me, I can use ocamlbrew, and it will
make all the installation stuff for me.

After some problems, it worked. :-)
So I can now switch between different OCaml-bversions.

I will try to install it also on that server, where I have no root access.
My experiences on my own box looked promising. :-)


Ciao,
   Oliver