From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pAFC23Wl003792
	for <caml-list@sympa-roc.inria.fr>; Tue, 15 Nov 2011 13:02:03 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlgBAHZUwk7RVde2kGdsb2JhbABDpwaCXAgiAQEBAQkJDQcUBCGBcgEBAQQSAiwBGx0BAwwGBQs7IgERAQUBHAY1pFgKi2GCZYVPPYhxAgUKiXoEjQ2HI41NPYNx
X-IronPort-AV: E=Sophos;i="4.69,514,1315173600"; 
   d="scan'208";a="119068679"
Received: from mail-ey0-f182.google.com ([209.85.215.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Nov 2011 13:01:50 +0100
Received: by eyd10 with SMTP id 10so9099327eyd.27
        for <caml-list@inria.fr>; Tue, 15 Nov 2011 04:01:50 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=mIlyDlwyB3F7YDjGykSQAS2UF12Jr4t+GlUolVBDtuw=;
        b=oB1vI33Rekx8c67Juv1jGNNWgiIo+wqrggD6H8YGZJxNuUYZejrr9dfcr7/gg7s8J2
         IeY7cDMcJLtAQZC93c22B/T8ZuRACf/8KGriVNYvlYQqLT+RLPbyilNGIqL9Bii87Fx9
         MDW2IzqrDRROKAd0Tjz0ILDleow9L95JPTg9o=
MIME-Version: 1.0
Received: by 10.213.22.67 with SMTP id m3mr138647ebb.91.1321358510575; Tue, 15
 Nov 2011 04:01:50 -0800 (PST)
Received: by 10.213.33.132 with HTTP; Tue, 15 Nov 2011 04:01:50 -0800 (PST)
In-Reply-To: <CAB0nkh1gei0P826EBnPAMzJdANXSDTZxArx1A=c3C+5K_Jc=cw@mail.gmail.com>
References: <CAB0nkh1gei0P826EBnPAMzJdANXSDTZxArx1A=c3C+5K_Jc=cw@mail.gmail.com>
Date: Tue, 15 Nov 2011 13:01:50 +0100
Message-ID: <CAP5QFJn56m=mcLuBd=27PnHSW8nBx-BzoxMEfZZb2rYZFqM2Vw@mail.gmail.com>
From: Adrien <camaradetux@gmail.com>
To: Andrej Bauer <andrej.bauer@andrej.com>
Cc: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] How to fail to install Ocaml in 18 steps

Hi,

With current computers and the current state of OCaml softwares and
libraries (and all others actually), I believe that the easiest way
for teaching is to provide/use virtual machine.

There will be almost no performance impact on hardware with
paravirtualization (for CPU) and VirtualBox can run 32bit systems with
a minimal slowdown (around 10-20%).

It will also be much easier for many libraries.

-- 
Adrien Nader